Turn -Wtype-equality-out-of-scope on by default
Make -Wtype-equality-out-of-scope
on by default, per #24267 (comment 540068).
Also remove -Wnoncanonical-{monoid,monad}-instances from -Wcompat
, since they are enabled by default.
Refresh wcompat-warnings/
test with new -Wcompat warnings.