svoid defineRewrite(S token, S replacement) {
  definedRewrites().put(token, replacement);
}