Ako implementovať typový strážca pre strom, ktorý kontroluje iba povolené kľúče a hodnoty, vrátane vnorených podstromov? Ako zabezpečiť zložitosť O(1) v najhoršom prípade pre kontrolu kľúčov?