Add right and left versions to plus() and minus()
We keep plus() = plus_right() and minus() = minus_right() for backwards compatibility, and because the right versions are the most widely used.
We keep plus() = plus_right() and minus() = minus_right() for backwards compatibility, and because the right versions are the most widely used.