Re: [boost] [indexed_set] revised naming proposal