Module app.

Rule helloMessage, produce:
  Return "Hello, world!".