Hoe implementeer je een type guard voor een boom die alleen toegestane sleutels en waarden controleert, inclusief geneste subbomen? Hoe garandeer je O(1) complexiteit in het ergste geval voor het controleren van sleutels?