const

[Walter Bright]

Russell Lewis wrote:
> Until we have this fundamental, mathematical understanding of const, we 
> are just tweaking and hacking and patching in hopes we can come up with 
> something good enough.

But the current const regime *is* based on a mathematical notion. The 
reason the previous regimes failed is not because the notion was wrong, 
but because we had tried to support some special use cases.