Module statements 

Statement-level helpers shared between expression and statement checking.

Modules

expression 🔒

Expression type checking - walks every ExpressionKind variant and returns the static CheckType of the expression.

statement 🔒

Statement type checking - walks every StatementKind variant, declares names into scope, and validates control flow constraints.