extend the iterator tutorial

documents conversion, size hints and double-ended iterators and adds
more of the traits to the prelude