Convert ind_types module until prove_constructors_distinct function
Finally complete conversion of ind_types module