First Draft: Static Single Assignment

[Walter Bright]

It's true that there's not much point to using `final` to replace `const` for a 
non-pointer type.

It's more useful in the role of head-const.