- added reftype/null.
- fresh-update-preserves-select-tgtmap-converse.
- reformat
- corrected some names.
- select-set-implies-domain
- select-tgtmap-implies-efxmap2tgtmap.
select-set-implies-disjoint-join.
- select-tgtmap-implies-deep-disjoint-join.
complete rewritten tgtmap2efxmap.elf
- deep-disjoint-cross-comparable
- deep-disjoint-lookup-implies-disjoint.
- tgtmap2efxmap-preserves-deep-disjoint-join.
- select-set-leq-implies-leq
- select-tgtmap-leq-implies-leq
- efxmap`fresh-update2-preserves-select-tgtmap
- changed name from efxmap`fresh-update2-preserves-select-tgtmap
 to fresh-update2-preserves-select-tgtmap.
- select-tgtmap-associates (with trustme)
- name changes and input order changes.
- fresh-update-preserves-select-tgtmap-converse
- fixed a ordering problem.
- moved set+set2tgtmap back..
- style change.
- select-set-self.
- select-tgtmap-self.
- complete rewrite using fresh-update (instead of shift).
- moved set+nat2tgtmap to subtyping.elf.