Unary convex hull

[schillic]

convex_hull expects several arguments because the most common case is the union of two or more convex sets. But since we also have non-convex sets, it makes sense to compute the convex hull of a single set.

For all convex sets X, convex_hull(X) should be a no-op.