Should we disallow non-compliant `AbstractUnitRange`s where `typeof(step)` doesn't match the `eltype`?

[jar1]

1 + 'a' = 'b'

For the mathematically inclined, +(::Char,::Int) forms a group action of the (additive) group of integers on the set of characters. Similarly +(::Ptr{T},::Int) is a group action of integers on pointers and +(::Int,::Int) is the usual group action of integers on themselves, namely the (additive) group operation on integers. So this is all consistent and legit from a mathematical point of view.

But probably should be

'a' + NextCharacterInTermsOfUnicodeCodepoints(1)

1 + 'a' = 'b'

This is a very interesting discussion. I especially like the mathematical explanation by @cjdoris considering it as group action. For me the main concern seems to be that the group action is just denoted by an integer. For instance, in the example Date(2022, 3, 16) + Day(1) it is clear that Day(1) denotes a time interval/shift. In this interpretation 'a' + 1 should be understood and maybe explicitly written as 'a' + NextCharacterInTermsOfUnicodeCodepoints(1) being open to suggestions for a…