Final version of more-ocaml prior to publication (from v1.0)