Types for Nodes in Navigator