¿Cómo reescribir la comprobación de tipos en la traversa si aparecen tipos primitivos adicionales como `string` en los valores del árbol?