Jak przepisać sprawdzanie typu w traversowaniu, jeśli w wartościach drzewa pojawią się dodatkowe typy prymitywne, takie jak `string`?