arranged (cargo): Statically bounds-checked (machine-word-abstracting? TBD) ranged types as zero or low-runtime overhead abstractions providing safe (no unintentional overflow) arithmetic.
Keywords: compile-time|ranges|safe-arithmetic|ranged-types