Compile; fix a testsuite failure.
Pass test for #8984 by treating representational equality differently.
Fix lint errors (only)
Drop Derived `canRewrite` Derived, as per discussions with SPJ & DV
Update Note [eqCanRewrite]; don't search in an EqualCtList