Exception when accessing a type from another module

Failing to build under newer version of Why3

Support for floating-point theory in Cameleer

Release on opam