TypeChecker doesn't build