Module demo.lambdashort.

Rule greet given pfx, produce:
  Return f("short").