README update: Features update (typelists, iterators, and loops)