Type Checker and Simple Interpreter