This is a great way to really improve things while also maintaining backwards compatibility. I do hope we see something along these lines making it into the next (post 2024) edition
> Especially I find it confusing that the term mutable reference is sometimes used to mean a reference to a mutable place.
It always means this- unlike C, the mutability of a place is not part of its type, so if you're talking about the reference itself being mutable that will be tracked somewhere else.
I am a layperson who doesn’t work with the “lower register” as discussed in the article very often (if at all), and this makes a lot of sense to me in a way that most discussions about pinning do not.
I respect, maybe even envy, the clarity and humble conviction in your writing.