Declarative WASM GC Types
Summary
A technical exploration of declarative WASM GC types, covering WTyp, HTyp, CTyp, RTyp, SubTyp, and generation strategies including toposort. Includes design considerations for recursive types and type deduplication within WASM modules.