>In addition, interesting fact is that two identical variables with different styles are different variables >
_____________________
That is not true as you state !
The LHS of a definition is scalar by the nature of maths, is carries the declared scalar argument ... therefore the RHS must carry the same scalar argument. At this stage, the scalar definition is dummy.
BUT in the use later on, you can define the scalar range as you wish by any of the supplementary user 1..7 . The nuance is between the declaration and the end use.
jmG