Re: [boost] Re: [indexed_set] revised naming proposal