Property definitions

functional $ Proc0 :: call
	fun call is abstract
lib/functional/functional_types.nit:35,2--21

functional $ ProcRef0 :: call
	redef fun call is intern
lib/functional/functional_types.nit:195,2--25