Remove the GadtType in the AST. Groundwork on #11.

API change but no functional changes. Effectively reverts the API changes in 936efdcc1df27bafa1c2e9a27b0004e6cd34b5b0.