Update commentary and slightly refactor GHC.Tc.Deriv.Infer
There was some out-of-date commentary in GHC.Tc.Deriv.Infer
that
has been modernized. Along the way, I removed the bad
constraints
in simplifyDeriv
, which did not serve any useful purpose (besides
being printed in debugging output).
Fixes #18073 (closed).