Deletion of the type_constraints