TODO: explain how the two models translate C++ pointers and references, in particular why the refcount model maps both to Ptr<T>, and the role of StrongPtr for reading through a pointer.