import is_* typechecks