Add support for defining multiple types at once.
Fix types of Inductive constructors.