Хотелось бы иметь возможность создавать правила с более гибким заданием повторов, а не только +, *.

Например:
digit_p{4} — ровно четыре цифры
digit_p{0-4} — не более четырех цифр
digit_p{1-4} — какое-либо количество цифр, но не более четырех