reftyping-ok/read/unique/L4
changed tgtmap2perm (yet again!), removed shared permission
from output for tgtmap2perm/+, and included Pi2 in
output for tgtmap2perm/0 (it should be empty anyway).