improve EgisonError and then eliminate unnecessary imports
update MonadFresh
update Parser module