Do not create nested quantified constraints
Commit message:
Do not create nested quantified constraints
Previously, we would accidentally make constraints like
forall a. C a => forall b. D b => E a b c as we traversed
superclasses. No longer!
Close #17202 and #16502.
test cases: typecheck/should_compile/T{17202,16502}