Add MIConvexHull

This is theoretically useful later