move kinding stuff from lexer to parser
Don't treat the subkind as part of the name when checking whether a
type variables is bound in datatype desugaring!
Attempt to make printing and parsing of kinds and subkinds consistent.
more interesting example of draggable lists with session types
tweaks