Module demo.lambdamixed.

Rule demo given pfx, produce:
  Let f be function with x, produce:
    Return Text.concat(pfx, x).
  Let g be function with y, produce:
    Return Text.concat("2", y).
  Return Text.concat(f(""), g("b")).

Rule compare given x, y, produce:
  Return cmp(x, y).