Binary adder that adds two bitstrings.
A structure that defines the custom operation BinaryAdd that implements the binary adder.
