implementation of the Yang et al Jeeves language in Haskell