CSub becomes CEq when it is the only constraint on a TypeVar