A small Haskell parser that excepts terms in the lambda set for a limited alphabet of variables