Removed duplicate 'GADTs' language extension
Accidently included some broken part of my experimentations in a previous commit. Undone here.