Remove redundant definitions from test
Document half_adder and full_adder