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"