const/invariant/pure/mutable living happily together

[Steven Schveighoffer]

If you're thinking of responding to this thread, don't.  I no longer think 
this is correct.

Look at my 'logical const is a subset of transitive const' thread instead.

-Steve