exit w/non-zero code if type checking fails in `check` task