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 are newly added by this module.