Add support for ADTs in grammar+compilation.