Add support for redundant (Carry Save) representations for arithmetic operations

Due to lack of support for carry-save representation, it is currently not possible to efficiently synthesize circuits that depend on long or even moderate chains of additions, where the intermediate result is not inspected.

While support for general redundant representations would be nice, starting with basic carry save representation would be a great step.