Simplify cast int exprs and compares w extremes

Simplify expressions involving cast integers, computing and storing the
canonical representation of the result.
Simplify comparisons, max and max involving extreme values of integers.

New methods on Type provide convenient access to max and min integer values and corresponding Expr.