put arith_unaryadd into base class
various failing tests about edge cases in arithmetic
refactor binary arithmetic operations

approach: first convert the two arguments into a common class

before I introduce rationals, I don't want to need a quadratic number of
methods per arithmetic operation.