Re: Immutability -- more ideas

[slangmgh]

`Immutability` just like `static type`, `noSideEffect`, it is very useful 
feature to write reliable correct code, and we have no other way to make the 
ref type immutable.