Renamed MTT into TypeChecker