docs: public static ExpressionSimplifier lambdaCalculus() {
      List<ExpressionReplacementRule> rules = Lists.newArrayList();
      rules.add(new LambdaApplicationReplacementRule());
      rules.add(new VariableCanonicalizationReplacementRule());
      return new ExpressionSimplifier(rules);
    }