Kaip perrašyti tipo patikrinimą perėjimo metu, jei medžio reikšmėse atsiranda papildomi primityvūs tipai, pvz., `string`?