Module scope 

Scope management and name lookup for the type checker.

Modules

assign 🔒

Assignment type checking - validates reassignment against the declared type.

call 🔒

Function call type checking - path resolution and argument validation.

declare 🔒

Variable and constant declaration for the type checker scope.