[boost] Re: Naming Issues [part of Formal Review: Indexed Set]