A 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. This field holds only those names that have been imported from other modules.