Property definitions

geometry $ Box :: top=
	redef var top: N
lib/geometry/boxes.nit:99,2--17