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.

merged

mentioned in commit fc0251d1