The point is to explore and compare owners-as-dominators, shallow ownership, external uniqueness, owners-as-modifiers, and other variations of ownership (and immutability) from around 20 years ago and how to support them in the modern Rust programming language. Exploring GhostCell and other Cell mechanisms and how they can help or hinder language usability is important part of this project.