rename attributes chebR -> r, chebXc -> x
rm ConvexPolytope.union, .diff

because they are not closed, i.e., they can return a Region instead of a ConvexPolytope.
rm ConvexPolytope.len

because it is deprecated. Use isinstance instead.
new: Region.project

mv corresponding code from projection function to Region.project