Wie kann die Typüberprüfung in der Traversierung umgeschrieben werden, wenn zusätzliche primitive Typen wie `string` in den Baumwerten auftreten?