ISAC: Problem with changing IR 2093

As you may recall from our last meeting.
the proposed changes originally included a definition for a locally static
unconstrained array type. It was initially decded to remove this 
definition because
of problems with static expressions and case statements.

However, consider the following example:

constant c1 string := "abc";

We surely want this to be locally static, but if we are to include type 
information
in the definition we need to view the unconstrained array type "string" 
as locally static.

Any ideas?