Implementation of add, negate and subtract using bitwise operators (+ tests).
Lazily-evaluated power sets using bitwise operators (+ tests).