I assume you mean persistent, not immutable.
a[x] = 1
b = a
a[y] = 2 <---- mutates a
a[x] = 3 <-- is this legal?
b[x] <--- persistent- uh, what is Mathematica's semantics here?