Provides macros for types which are constrained within a range, ensuring invalid values are unrepresentable.