The map from strings to atoms which act as true names. The true names are identity-based identifiers that prevent or at least clarify name conflicts. Answer only those names that have been imported from other modules.