remove unnecessary side condition on new_type_definition