Literal patterns

A literal pattern is a literal Boolean, Nat, Int, Char, or Text. A literal pattern matches if the scrutinee has that exact value.

For example:

match 2 Nat.+ 2 with
  4 -> "Matches"
  _ -> "Doesn't match"
⧨
"Matches"