Module demo.int_match.

Rule classify given n, produce:
  Match n:
    When 0, Return "zero".
    When 1, Return "one".
    When 2, Return "two".
    When 42, Return "answer".