Implement full_adder in terms of half_adder.