Added a new aHalfAdder circuit to the CpuArrow library by combining aAnd and aXor logic gates. The implementation elegantly leverages the Arrow &&& combinator to simultaneously compute both the carry and the sum. This foundational piece paves the way for building full adders and more complex CPU logic blocks in a declarative style.