move arithmetic stuff into ToySolver.Arith.*