sS wordReplace(S s, SS map) {
  ret join(replaceCodeTokensUsingMap_curly(wordTok(s), map));
}

sS wordReplace(SS map, S s) {
  ret wordReplace(s, map);
}