How to rewrite type checking in traversal if additional primitive types like `string` appear in the tree values?