Changed syntax tree representation, added ReaderT to support any lexmap