A smart pointer with some reference guarantees.