TypeChecker now checks
if any errors occurred.