I think Pascal's subranges would cover both those examples? NB Last time I used Pascal was probably 35 years ago.... Edit: I would suspect Ada would have some

I think Pascal's subranges would cover both those examples? NB Last time I used Pascal was probably 35 years ago.... Edit: I would suspect Ada would have something like this.