Update practical use case documentation with latest features

[SamRoberts]

Since last the README ruminated on practical use cases, I've added support for alternative and repetition bounds. We should update the practical use cases to use these features.