// e.g. in = "very $x", out = "$x"
svoid philosophyBot1_addSimplificationRule(PhilosophyBot1 bot, S in, S out) {
  bot.addDeepTransformer(s -> simpleRewriteWithDollarVars(in, out, s));
}