Improved type error messages for 4.02.0

Arthur Chargueraud.

https://ocaml.org/meetings/ocaml/2014/ocaml2014_9.pdf
Merge pull request #2657 from andrewray/improved-errors-compiler

Improved type error messages for 4.02.0