Consider equality contexts exotic, uninferrable by "deriving"

See comments in #8984. This takes back the fix for #6088.
Merge some instances from th-orphans.
Clarify that declaration splices exist at top level only. (#9880)