fixup! extend "StarToken" class and rename it to "RepetitionToken"