e.g., Foo(Bar+, Baz+, Zoot+)

• Support "greedy" and "nongreedy" variants
• Initially, it's acceptable to insist that all variadic patterns for an operator have no conflicts in their fixed-arity prefixes.