**Goal:** Resolve identifiers to symbols before typing. **Includes:** * Lexical scopes * Variable bindings * Function symbols * Type symbols * Shadowing rules **Output:** * `ExprId -> SymbolId`
Goal: Resolve identifiers to symbols before typing.
Includes:
Output:
ExprId -> SymbolId