eval typechecks