Пардон, не последовательностей, а диапазонов (что и логически, и физически эквивалентно паре итераторов).

Идея остроумная, и она, безусловно, будет работать и неплохо, но при этом все равно дурацкая и добавит еще кривости и неинтуитивности STL.

Логически, диапазон — это все равно пара итераторов (указателей, ссылок на элементы). И попытка сказать, что итераторы якобы куда-то «ушли», будет бессмысленной: все равно, мысленно оперируя диапазонами, мы будем подразумевать итераторы.

Этого просто не может не быть. Потому что даже само определение диапазона обозначает пару указателей на элементы в каком-либо виде (я не говорю обязательно про итераторы, это не важно, это может быть любая сущность, идентифицирующая элемент упорядоченного множества).

И мистер Александреску тоже, оперируя диапазонами, будет оперировать итераторами, просто он будет делать вид, что никаких итераторов нет.

Это такой же прикол, как в C# указатели, замаскированные ссылочными типами: оперируя, фактически, указателями на объекты, мы делаем вид, что никаких указателей нет.