Fix types of Inductive constructors.