Symbol Table, type checking

Semantic analysis complete!