cpp/ranges/bidirectional range

The concept is a refinement of  for which ranges returns a model of.