Some ideas for fixing OCaml