Add an error when -XDataKinds isn't present
Remove references to 'only'
Make sure to reverse the kind constructors

  They are parsed in reverse order, so make sure to reverse them in the
resulting AST.