Start work on the VarCheck phase of the compiler, which builds symbol tables, associated variable uses with their symbols, and performs type checking.