Modified SDSL to add "types" parameter to the constructors of
Mod, Op, and Datatype.