Property definitions

functional $ Proc1 :: call
	fun call(a0: A0) is abstract
lib/functional/functional_types.nit:43,2--29

functional $ ProcRef1 :: call
	redef fun call(a0) is intern
lib/functional/functional_types.nit:203,2--29

functional $ AddOneProc :: call
        redef fun call(x)
        do
                x.item += 1
        end
lib/functional/test_utils.nit:128,9--131,11