Progress on OCaml
Finished and tested OCaml version.