Symmath.Eval now uses Monad Transformers (Reader -> Error -> Identity)