Atlas · Code Opportunities
Op. 08 · Code opportunity
Semantic type systems
Type systems record machine shape but not the meaningful kind of a value.
Layer B · Structure
Why current conventions flatten it.
Two values may share a machine type but belong to entirely different conceptual categories.
Layer C · Computation
What code could borrow.
Each capability below already exists as a grammatical distinction in one or more human languages. The atlas records that link as evidence, not as a claim about a language’s home.