Introduce `set_bind` and associated lemmas.

Closed Dan Frumin requested to merge dfrumin/coq-stdpp:set_bind into master

Merge request reports