Use global references and qualids to refer to libraries.
Add a command to export all loaded libraries.