OCaml bindings progress

Progress with the OCaml bindings; there are still things to be done, and all tests to be fixed.