'range and 'reverse_range for scalars

Is your capability/feature request related to a problem?

'Range and 'reverse_range for scalar types

Kind of odd that 'ascending is defined and the result is described as:

Result: It is TRUE if T is defined with an ascending range; FALSE otherwise.

So obviously we think of these types as having a range.

Use model:

for i in Severity_Level'reverse_range loop 
. . . 

Additional context