Version 1.3 of Deduce

Many improvements for numbers, with the addition of unsigned integers (UInt), which are opaque, and we now have automatic rewriting to automate some of the reasoning about numbers.