Renamed counted_datum_less_t to optional_datum_less_t