clarify semantics of make_counter(It&, &It).  Preliminary test_counter_traits