Create TypeChecker.java