formal-land/coq-of-ocaml 2.4.1

on GitHub

• add basic support for matching on existential types and try ... with;
• add the @coq_type_annotation attribute;
• remove existential types from the modules conversion (unless for first-class modules);
• upgrade Dune dependency to the version 2.8.

See this blog post for more details on the removal of the existential types for the modules.