added tests for arithmetic.coffee
tests should unbox the result from ≡

There were a few false positives.  Those are failing now.
fixed failing tests