Create MH_Typechecker.java