data member for quantifiers in simple rules

There's no facility in the grammar to express quantifiers for simple rules, but
my thinking is to "flatten" rulesets into collections of simple rules with
quantifiers.