Docs: fix mistaken claim about kind signatures
This patch fixes #21806 (closed) by rectifying an incorrect claim about the usage of kind variables in the header of a data declaration with a standalone kind signature.
It also adds some clarifications about the number of parameters expected in GADT declarations and in type family declarations.