Transparently access the unified variant from proxies around ptr (SDD and homomorphism).