Fix #27.

Not quite as easy as I thought, as the types of the generated
thing (i.e., Exp or Type) is pervasive throughout the parser.

But it's done now.