Re: Proposal: give Ptr a nominal role