Hogyan valósítható meg egy típusvédő az erdő számára, amely csak engedélyezett kulcsokat és értékeket ellenőriz, beleértve az egymásba ágyazott alerdőket? Hogyan biztosítható a legrosszabb esetben O(1) komplexitás a kulcsok ellenőrzéséhez?