Add Haskell representation of \BV expressions