Support for matching literal values

@match 1 begin
  3 -> "three"
  2 -> "two"
  1 -> "one"
end # => "one"
Match based on type assertions
Adds `@matching` functions
Update README with short description of macros