More missing `Hint Mode`s.

This MR adds all the Hint Modes from @Blaisorblade's iris!696 (merged) to std++ with the exception of the controversial one for Equiv (see https://github.com/coq/coq/issues/14441), but including the ones for Sets.

Iris requires a one line fix, see iris!696 (comment 68611)

examples, reloc, iron, actris, and lambdarust all compile without changes.

I think we're still missing more Hint Modes, but I am not sure what's a proper way to detect them.

but I am not sure what's a proper way to detect them.

Grep for Class, then for each one grep to ensure they have a Hint Mode?

My shell scripting sucks, do you want to try to write a one-liner script for that?

mentioned in merge request !272 (closed)

added 1 commit

• b48d40e9 - Use `!` instead of `+`.

Compare with previous version

resolved all threads

added 1 commit

• c75cd874 - CHANGELOG.

Compare with previous version

enabled an automatic merge when the pipeline for c75cd874 succeeds

@iris-users This is a breaking change: you might need to add some additional type annotations to your development.

Set `Hint Mode` for the classes `PartialOrder`, `TotalOrder`, `MRet`, `MBind`, `MJoin`, `FMap`, `OMap`, `MGuard`, `SemiSet`, `Set_`, `TopSet`, and `Infinite`.

merged

mentioned in commit aeb449a7

mentioned in merge request iris!696 (merged)