need \importqualified in modules package

[kohlhase]

In an earlier version of the modules package we used the usesqualified key on the module environment for importing macros with a disambiguating prefix (this is used whenever we have conflicting names for macros inherited from different modules). This is not accessible from the current interface. We need something like a importqualified macro for this.

We need to specify the importqualified interface, implement it in LaTeX and then do the LaTeXML equivalent.

[kohlhase]

I will look into this.

[deyan]

I was also thinking of this change, as it becomes apparent when generating all.omdoc.

I think adding a "usequalified" key to the \importmodule is a good choice, the change on the LaTeXML side should be straightforward. Still, one has to be careful to propagate the "usequalified" recursively to all dependencies this \importmodule would invoke, but I think I know how to do this by now.

I will wait for your solution on this.