Add beginnings of Haskell representation of \BV expressions