Text this: Reasoning about Data Repetitions with Counter Systems