Add content-based monotype interning#9273

Draft

lukewilliamboswell wants to merge 8 commits intomainfrom

intern-monotype

Commits on Mar 18, 2026

Add content-based monotype interning to deduplicate structurally identical types

lukewilliamboswell
and
claude
committed

Commits on Mar 19, 2026

Refactor monotype store to use content-based interning with resolve/TypeId API

lukewilliamboswell
and
claude
committed
Add nominal instance cache for content-based dedup of nominal types

lukewilliamboswell
and
claude
committed
Remove nominal_cycle_breakers now that content-based interning handles nominal dedup

lukewilliamboswell
and
claude
committed
Document cross-module recursive TypeId canonicalization and add tests

lukewilliamboswell
and
claude
committed
Clean up intern-monotype branch: fix double-resolves, tag comparison bug, dead param

lukewilliamboswell
and
claude
committed
Replace linear scans with fingerprint-keyed hash maps in list interning

lukewilliamboswell
and
claude
committed
Fix identFromStructuralName to search all module envs for cross-module tags

lukewilliamboswell
and
claude
committed