Finished implemented Interpreter pattern for type checker