This work is far more foundational than any of that. It applies to references just as much as raw pointers- it determines how much the borrow checker is allowed

This work is far more foundational than any of that. It applies to references just as much as raw pointers- it determines how much the borrow checker is allowed to permit, for example. You can't even begin to write the sorts of things you're suggesting without this.