other than "older" languages in the Pascal family, there is an extended "subset" feature in Raku[0], which is pretty cool.

For number ranges you would say

    subset HandCountable of Int where 1 <= * <= 5

[0] https://ohmycloudy.github.io/24.html