- new configuration options;
- inlining of anonymous sub-signatures;
- functors and signed modules defined with top-level definitions instead of local
let; - support for the monadic notation of OCaml.
See this blog post for more details on the changes on functors and anonymous sub-signatures.