Type information for iterator

[RunDevelopment]

Iterators are currently not represented in the type system as their own type. This should be fixed to allow us to track information about the iterators themselves and not just their item type.

Potential properties to track:

• Item type.
• Length (expected and whether it is exact).
• Whether the iterator support random access (list).