Migrated Sequence.is_repetition_free().

Was previously sequencetools.is_repetition_free_sequence().