Literal patterns

Aliteral patternis a literalBoolean,Nat,Int,Char,orText.A literal pattern matches if the scrutinee has that exact value.

For example:

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