qualify and disambiguate all names in the nodes of a development graph for OMDoc output or for writing out multiple theories for Isabelle or VSE. Note however that signature will be always be complete, i.e. imported entities will be repeated.