Have to fix a typo
Half-adder, full-adder, and tests