I’ve expanded on the range types a little bit and created an open source project for them. In particular they now support subranges in a typesafe way.