"Lukas Renggli" <renggli at gmail.com> wrote in message
> I want an immutability flag in the object-header!

I think field immutability (instVars or indexedVars) is more fundamental. 
Perhaps object immutability can be built on top of it?

Sophie