Docs: clarify ConstraintKinds infelicity
GHC doesn't consistently require the ConstraintKinds extension to be enabled, as it allows programs such as type families returning a constraint without this extension.
MR !7784 (closed) fixes this infelicity, but breaking user programs was deemed to not be worth it, so we document it instead.