Property definitions

functional $ OrderedIter :: f
        var f: Fun1[E, Comparable]
lib/functional/iter_extras.nit:355,9--34