Make conLang compute info for exhLang

The exhLang transformation needs to know the constructors that are in
each datatype, so the transformation into conLang needs to record this.