Property definitions

geometry $ Box :: right=
	redef var right: N
lib/geometry/boxes.nit:98,2--19