Implement arithmetic and `min` on cartesian indexes

These allow many more algorithms to be written