Simplify cast integer expressions

Simplify: Add simplification rules for cast integer types: add, sub,
mul, div, mod, min, max, eq, lt.
IROperator: Add make_bool to construct Halide boolean from C bool.