New int type (saturated int).

Implementation of binary, unary operations and of pre/post increment/decrement for saturated int type.