Break apart type tests from coercions