Reject type family equation with wrong name (#20260)
We should reject
type family Foo where Bar = ()
This check was done in kcTyFamInstEqn
but not in tcTyFamInstEqn
.
I factored out arity checking, which was duplicated.
Fixes #20260 (closed).