Property definitions

functional $ Routine :: defaultinit
interface Routine
end
lib/functional/functional_types.nit:21,1--22,3