V3 step 2 — scalar type system (planned)

Status: not started. Blaise Phase-2 equivalent (type system).

Scope

Types: REAL (QBE d), BOOLEAN (+ NOT/AND/OR), CHAR, enumerations; CARDINAL family via SymTab integer family.
Relations (= # < <= > >=) → QBE ceqw/cnew/csltw/... + jnz; IF/ELSIF/ELSE, WHILE (labels via NewLabel/EmitLabel/Jmp/Jnz added to QbeGen).
Mixed INTEGER/REAL rules (Test1 parity: INTEGER assigns to REAL via swtof, no mixed arithmetic), 212/213/214 errors.
H hex + 0x prefix decision (Redux option) recorded here.

Acceptance (planned)

~15 run tests (bool logic, real arith + conversions, char/enum, IF/WHILE nesting) + reject tests (212/213/214); full suite green.
Grammar stays LL(1)-clean; .ssa deterministic.

Files (planned)

compiler/src/M2.atg § types/statements/expressions growth.
compiler/src/QbeGen + comparison/branch emission.
compiler/tests/ additions; this file filled in on landing.