zhenya1007

Sure. I have moved it into the `3l` file.

One observation/suggestion: tools like ocp-index and ocamlspot manage to keep a rather accurate account of the types in one's source tree. They do rely on `.cmt`/`.cmti` files being present, but...