Using lenses with Arith