Property definitions

nitc :: typing $ AReassignFormExpr :: read_type
	var read_type: nullable MType = null
src/semantize/typing.nit:1153,2--37