Come riscrivere il controllo del tipo nella traversata se appaiono tipi primitivi aggiuntivi come `string` nei valori dell'albero?