extra: Simplify the bitv iterators using Repeat