Adding one-bit full adder.
Adding support for environment contexts.
* Changing binary operators to rely on side-effects for left-hand operand.
* Implementing Add operation using one-bit full adder.
Adding test code.