improve documenation of ToySolver.Arith.*