Add congruence lemmas for closures

Merged Amin Timany requested to merge amintimany/coq-stdpp:lemmas into master

Merge request reports