`DblParser/Import.ml` needs better documentation

The logic behind importing modules (`DblParser/Import.ml`) is generally well-written, but defines some auxiliary functions, that need to be better documented. Moreover, the `imports` variable sometimes means the set of imported modules, but in other places means the list of modules imported by a files. The names of variables should be more consistent.