Comment réécrire la vérification de type dans la traversée si des types primitifs supplémentaires comme `string` apparaissent dans les valeurs de l'arbre?