Tipi per i nodi nel navigatore