Add ordered_idpool.operator[] convenience method