Idea: Can declaration emit synthesize imports?

If an unimported type is referenced repeatedly, each reference will be qualified with the same import("path") expression. Cumulatively, these can significantly enlarge a declaration file.

Probably, this will be the first time we need to make non-local edits to a declaration file, which may substantially increase the code complexity. It should not, however, take much more time to execute (unless I'm missing something).