Reimplement Unify.typesCantMatch in terms of apartness.