We can just use `S.Naturals0` and for symbolic `Range(a)` we can use `imageset(x, x < a, S.Naturals0)`. I don't think we need to implement symbolic or infinite `Range`.