I don’t like it; it feels too much like tootsie pop, and imo, tootsie pop is not a good way to go forward. I want types to have the exact same guarantees no matter where they are.
At least for the aliasing stuff, I prefer an access model based on a preorder (initial draft):