efxmap`remove-tgtmap-preserves-efxmap`leq
- removed unused inner-efxmap`restrict-preserves-leq
- proved efxmap`remove-tgtmap-preserves-efxmap`leq without
  the efxmap`size input (which is only used for induction).
efxmap`remove-tgtmap-total
added ty-eq-inversion to fldmap-base.elf
moved ty-eq-inversion to fldmap-base.elf