Const vs static

A proposal to extend statics/constants so that `static` always declares a global variable (memory location) with an address and `const` declares global *values*. `const` is what we expect users to use most of the time, `static` is only intended to be used in narrow circumstances.
Is a "static mut" of type T any different from a non-mut static of type UnsafeCell\<T\> in this proposal? (other than syntax)

It seems not, and in this case it seems redundant to provide static muts.