Data.Rewriting.Context.Ops