Remove TODO.
Use record destructuring with "as" in ocaml.
Mention OCaml and link to others in readme.