Do subrange types not offer what you are looking for?
type VmAddr = range[0..63]
RunPS: I wrote a forth once, and it's even in production in a few embedded devices! See [https://github.com/zevv/zForth](https://github.com/zevv/zForth)
