Iterators, type checking and more.