¿Cómo implementar un guardia de tipo para un árbol que verifique solo claves y valores permitidos, incluyendo subárboles anidados? ¿Cómo garantizar una complejidad O(1) en el peor caso para la comprobación de claves?