Add existentials to the translation
An MR with the existentials as generated by the https://github.com/clarus/coq-of-ocaml/pull/192 branch.
Edited by Guillaume Claret
An MR with the existentials as generated by the https://github.com/clarus/coq-of-ocaml/pull/192 branch.