Added pass-through MonadState s (Datalog m) and MonadReader e (Datalog m) instances