Removed counted_t::operator<, used counted_datum_less_t.