typechecks