>> much more concise, elegant code

compared with other C++ code that is :-).

It doesn't really "shrink" the language. It adds a level of abstraction. But the problem is that it doesn't really implement the abstraction very well. The complexity doesn't go away, you still have all std::vector<std::ostream::operator<<std::iterator<T><2<std::bla_bla>>>> underneath, and if you make a small error in the code, compiler will still spit out an incomprehensible error message.