Add OCaml link to implementations list.
fix typos and inconsistencies