..
a_Integer.. // FullForm
0..1//FullForm
{{}, {a}, {a, b}, {a, a, a}, {a, a, a, a}} /. {Repeated[x : a | b, 3]} -> x
f[x, 0, 0, 0] /. f[x, s:0..] -> s