Property definitions

functional $ Fun :: defaultinit
interface Fun
        super Routine
end
lib/functional/functional_types.nit:23,1--25,3