fn lower_quantifier(
quantifier: &RepetitionQuantifier,
) -> MatchRecognizeQuantifierExpand description
Map a RepetitionQuantifier to the proto quantifier. *, +, ? map to their dedicated
kinds; the {...} forms all map to RANGE with an explicit min and an optional max.
The bounds are validated at bind time (binder::relation::match_recognize: validate_pattern),
which is the last point at which a bad bound can be reported to the author: the NFA is expanded
from these bounds in Nfa::compile, on the compute node, when the actor is built — long after the
statement has been acknowledged.