deferred class UNBOUNDED [G] Ancestors FINITE* [G] Descendants DYNAMIC_CHAIN* [G] FILE* HASH_TABLE [G, H -> HASHABLE]