Property definitions

functional $ Proc2 :: call
	fun call(a0: A0,a1: A1) is abstract
lib/functional/functional_types.nit:51,2--36

functional $ ProcRef2 :: call
	redef fun call(a0,a1) is intern
lib/functional/functional_types.nit:211,2--32