How to Make UniquePointer Safe

There are examples, it seems to me, where we can't get away with this approach without actually modifying the language mechanics. For example, UniquePointer is reasonably more safe than RulePointer. You need to use operator arrow and that gives you back a pointer. In order to make that safe, you have to change how pointers and references and operators work. So what can you do today if you don't have that? You can actually build safer versions of the standard library.