TypeChecker finished