comments
Mapping_stdmap<> rewrite (re-using SortedMapping_stdmap - but just in impl file