Remove curry/uncurry workaround for Coq ≤ 8.13.

Merged Robbert Krebbers requested to merge robbert/curry into master

Merge request reports