Used abs in bounds inference of Mod, implemented constant evaluation of abs in Simplify.
Some code cleanup, simplified random expr generation.