I don't mind a sorted set; My java version for which this was based on implemented SortedSet.  Do you foresee wanting "headSet" and "tailSet"?

I would like to see "Iterable From", but it would take a few additions to TreeIterator to support the "The Iterator is initially positioned before the first element" language... but it would be worth it. Maybe in another cl?