Re: Should we get rid of style insensitivity?

[andrea]

Constraining types and variables to have different namespaces would be a 
solution. The only issue with that is that sometimes types can be used as 
values (typedesc) and in that case there could be a clash (unlikely, but still).