more standard name bindings (amending 5bf71b4da706): avoid odd full_name like "Orderings.class.Orderings.preorder.of_class.intro" with many redundant name space accesses;

minor performance tuning: more compact representation of only sparsely table;

minor performance tuning: no storage of accesses, produce Binding.full_name_spec on the spot;

proper checks;

tuned;

tuned structure;

tuned signature;

tuned;

clarified extern vs. alias/hide: output alternative names, if possible; minor performance tuning: no storage of accesses', produce Long_Name.chunks on the spot;

tuned;