Simplify type category checks.