Binders library that's used in many Iris developments.

This is the binders library that's being used in many Iris libraries (e.g. heap-lang, lambdarust, fairis, Iron, ...).

Since it's not Iris specific, I propose to put it in stdpp.