Wie implementiert man einen Type Guard für einen Baum, der nur erlaubte Schlüssel und Werte überprüft, einschließlich verschachtelter Unterbäume? Wie gewährleistet man im schlimmsten Fall eine O(1)-Komplexität für die Schlüsselüberprüfung?