geometry :: Boxed :: right
require: right >= left
# Right bound # # require: right >= left fun right: N is abstract
redef var right: N
redef fun right do return x
redef fun right do return point_right.x