add TreeTypeChecker.java