Compose intrinsic Grammar-v1 type fragments exactly

[abiggerhammer]

Summary

Continue Matrix SURF-008 / ledger PHIL-SURFACE-ELAB-001 by composing only already-verified context-free Grammar-v1 type fragments into one dispatcher.

Contract

• Unit, Bool, and valid U<n> delegate to the exact primitive-type bridge from Elaborate Grammar-v1 primitive types exactly #474;
• literal-sized Bytes[...] delegates to the exact intrinsic Bytes bridge from Elaborate literal Grammar-v1 Bytes sizes exactly #478;
• intrinsic Proof[...] delegates to the exact proposition-bearing Proof bridge from Compose intrinsic propositions into Grammar-v1 Proof types #488;
• invalid primitive widths and context-dependent byte sizes remain fail-closed;
• Frame, Validated, refinement, tuple, named, and all other context-dependent type forms remain unresolved rather than acquiring invented identity, element modes, bindings, evidence, or static-reference meaning.

Executable pressure

Phase1GrammarV1IntrinsicTypeCompositionMain.hs parses primitive, literal Bytes, and intrinsic Proof aliases and requires their exact Core Ty values. U0, Bytes[x], a named type, and a tuple are negative pressure and must remain unresolved.

This is the fourteenth bounded SURF-008 slice after #462, #464, #466, #468, #471, #474, #477, #478, #481, #482, #485, #486, and #488; full Grammar-v1 elaboration correspondence remains open.