Improve iterator protocol

[mark-koch]

It would be better to only have a single function __next__: Iter -> Sum((Elem, Iter), ()), compared to the current protocol with __hasnext__, __next__, and __iterend__.

But this requires a notion of sum types first (see #95)