Add GADT project

As suggested by Tillmann.