Will step-by-step example be enough to complete the specification of "match"?
Yes, I'm sure that that would make the meaning much clearer. It might be good to explain the term "match" in terms of specific patterns and tuples first, then move on to a complete example.
Thanks!