Como implementar um guardião de tipo para uma árvore que verifica apenas chaves e valores permitidos, incluindo subárvores aninhadas? Como garantir uma complexidade O(1) no pior caso para a verificação de chaves?