Type Checker (Incomplete) for Blase Level 0 Compiler
TypeCheck.java