If you do go for member functions like find_next_one, I think it would be nice to have a find_first_one as well (like libstdc++ does). It would make iterating code look simpler than the example in the paper. As for the "A possible issue is that this operation is extremely specialized towards iteration." comment, I don't see that as a problem, but that's just my opinion.