half-adder: Add spec.