removed (unprovable) ty2perm-total*
fixed tgtmap2efxmap-preserves-disjoint-join