Binding a Sequence of Variables in the Pattern Matcher