Add a haskell model for a half adder.