Further refinements to CST building
Scope checking
Add full tokens to environment
Symbol table generation
Type checking, unused var checking, cleanup
AST
Test cases