[boost] [indexed_set] revised naming proposal