Better typing errors for OCaml

I developped a patch to report more comprehensible type error messages.
It is described in this paper.