TVO_CanBindToPack
mergeEquivalenceClasses
Previously we could incorrectly propagate `TVO_CanBindToPack` to a type variable that cannot bound to a pack type.