a todo for attributes - something we have to design yet
introduces Aux.DualName.Sum and Aux.DualName.Product

The former services Term.This.qual, Mod.Private.within and Mod.Protected.within.
The latter is used in subclasses of Import.Selector.