Property definitions

nitc :: typing $ AWithExpr :: method_start=
	var method_start: nullable CallSite
src/semantize/typing.nit:1475,2--36