Sorry David for the delay in the response and thank you for your
discussion. Your points are rather good and help me to think more
about the details and impacts of such a language extension.
## Your example
In your statement
callresult := myquery(global)
global gets converted to immutable T by deep twinning.
I'll come to the performance aspect later.
## Main motivation.