"Delete" instances for sets and multisets
See the discussion here on Mattermost:
Is there a reason why stdpp mapsets, in particular gset, do not have a Delete instance? One can use Difference, but often I need to just remove a single element, and using difference with a singleton set is more complicated
ah, having that delete on sets would be very nice as then I could use binder_delete on gset... which I need just now^^
If you want to make an MR for a Delete instance for sets and multisets, that would be great. I think we should also have an Insert-like class that works for sets and multisets, but that can be left for a future wish if you don't think that's needed / don't need it now.