Better semantics and cleaner impl for repeat
separated quantifiers