pub fn family_of_types(n: usize) -> (usize, BTreeMap<String, usize>)Expand description
Label ALL structural types. Every distinct signature (morph-class) at n, labeled with its family;
returns (num_types, family → type-count) — so we see how the types (not orbits) distribute across the
families. This is the full census of “what are the 403 types and where do they come from”: each is a
low-degree named family, a bounded-algebraic one, or the generic full-degree core.