slightly better wording on our limited typechecking