change Finlib invocation scheme (currently suffers from quadratic slowdown...)
change Finlib invocation scheme (currently suffers from quadratic slowdown...)

dra27/merlin,the-lambda-church/merlin,the-lambda-church/merlin,ocaml/merlin,ocaml/merlin,rgrinberg/merlin,dra27/merlin,ocaml/merlin,ocaml/merlin,dra27/merlin,dra27/merlin,the-lambda-church/merlin,rgrinberg/merlin,rgrinberg/merlin,rgrinberg/merlin