A few answers become a complete multilevel suite, generated by the same
deterministic code as typeference init, then compiled right here by the real
Go compiler in your tab. Your norm statements stay ordinary prose — they just gain a declared,
versioned type (ADR-0027,
ADR-0028).