Add: Integer-based positive infinity for repetitions can now be
user-defined. The default value is -1, instead of Integer.MAX_VALUE like
before.
Fix: One kind of repetition was not taken care of by the parse(String)
method of the Repetition class. But it has now been fixed.