Remove dead type classes and notations.

These were very specific, there were no lemmas about them. They were used back in the days for some specific things in my C semantics.

Thanks to @Blaisorblade for pointing out.

No objections from my side (but needs a changelog entry).

added 1 commit

• 046113d7 - CHANGELOG.

Compare with previous version

Done.

LGTM (assuming that these truly are unused throughout the Iris ecosystem, which I did not check).

Note that I kept the versions with a single zip_with or Forall2.

@iris-users This is a breaking change, which likely does not affect you.

merged

mentioned in commit 1a051169