GADT support

The https://gitlab.science.ru.nl/clean-compiler-and-rts/compiler/-/tree/GADT?ref_type=heads branch contains code for rudimentary support for GADTs. This issue will track the wanted features, document the syntax and so on.

If you are using nitrile, you can use the compiler-gadt package.