Come implementare un guard di tipo per un albero che verifica solo chiavi e valori consentiti, inclusi sotto-alberi annidati? Come garantire una complessità O(1) nel caso peggiore per il controllo delle chiavi?