Made RefStruct a newtype, which simplifies code and prevents people from doing weird things to its internals. Thanks to the uniqueness and non-escaping invariants of STDistinct, there's nothing truly nefarious that people can do, but there's also no reason for anyone to mess with the STDistinct and STRef parts of the data structure directly; ref and deref are all you need.