Jak implementovat typový strážce pro strom, který kontroluje pouze povolené klíče a hodnoty, včetně vnořených podstromů? Jak zajistit složitost O(1) v nejhorším případě pro kontrolu klíčů?