Add lemmas that say that `curry{3,4}?` and `uncurry{3,4}?` are inverses.

Merged Robbert Krebbers requested to merge robbert/curry_uncurry into master

Merge request reports