Improved type error messages for 4.02.0

By Arthur Chargueraud @charguer

https://ocaml.org/meetings/ocaml/2014/ocaml2014_9.pdf
https://www.youtube.com/watch?v=V_ipQZeBueg