Refactor binary addition

This is limited to only two arguments.