Added an arith protocol that can do simple math.