Implement arithmetic, `min`, and `max` on cartesian indexes

These allow many more algorithms to be written