Completed OCaml implementation.
Add example run as proof.