Document operator sections' interaction with subsumption
This resolves #19457 (closed) by making a note of breaking changes (introduced in
GHC 9.2) to the way that GHC typechecks operator sections where the operator
has nested forall
s or contexts in its type signature.