(shared.unique).shared case for ref-typing-ok/read.
changed reftype+efxmap2output to make it include
(allperm r) when the resulting value has annotation type unique.