GADT syntax done, with Pretty instances
Parser and renamer compile with GADTs