OCaml 4.02: port some of the fixes for typechecker slowdown
OCaml 4.02: port some of the fixes for typechecker slowdown

fxfactorial/merlin,haselwarter/merlin,dra27/merlin,ocaml/merlin,neojski/merlin,dra27/merlin,haselwarter/merlin,the-lambda-church/merlin,chambart/merlin,fxfactorial/merlin,the-lambda-church/merlin,neojski/merlin,chriskonstad/merlin,rgrinberg/merlin,chambart/merlin,chambart/merlin,ocaml/merlin,fxfactorial/merlin,haselwarter/merlin,haselwarter/merlin,rgrinberg/merlin,chriskonstad/merlin,chambart/merlin,fxfactorial/merlin,dra27/merlin,neojski/merlin,rgrinberg/merlin,rgrinberg/merlin,dra27/merlin,ocaml/merlin,the-lambda-church/merlin,ocaml/merlin,neojski/merlin