Rewriting Literal Equations