Create TypeChecking.java