fixed an error of free variables
removed a redundant input for reftyping-frame
efxmap`remove-tgtmap-transitive (%trustme)
efxmap`remove-tgtmap-respects-eq
efxmap`remove-tgtmap-unique