Fix datakinds docs

This improves the documentation for the DataKinds extension:

• By making it clear that newtype constructors are promotable, whereas
• GADT constructors are not.

This is of course well known, but it seemed to me, should be stated in the user guide.