Document TH splices' interaction with INCOHERENT instances
Top-level declaration splices can having surprising interactions with
INCOHERENT
instances, as observed in #22492 (closed). This patch
resolves #22492 (closed) by documenting this strange interaction in the GHC User's
Guide.