Range types and arrays with non integer indices are very useful. Range type is not distinct int it is int and it makes the difference.
I plan develop range types functionality further, it is very important to have type system that will reject all invalid instances whether it is int, float or object. Range restrictions are only small subset of needs to be applied. I have an idea how to generalize range types idea into types with arbitrary restrictions, not just range restrictions.
