Rename instances `union_with_proper` → `union_with_ne`, ...
This was probably an oversight when porting the proper
lemmas from std++ to ne
lemmas in Iris.
They are instances, so they should not be referred by name and this should not affect reverse dependencies. Just added it to the CHANGELOG to be sure.
There is no sed
script since that might falsely rename uses of the std++ instances.