pattern_matching

pattern_match:=
patterns | match sexpr with smatching+ endmatch
smatching:=
patterns | | spattern => sexpr
patterns | | => sexpr