Property definitions

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