Adds eval to Haskell implementation of \BV.

(Hooray for the Reader monad!)