consider making Ref an interface satisfied by concrete RefDetached, RefSymbolic