changed some cxt related relations.
proved efxmap`remove-tgtmap-implies-join with help
of %trustme. I'll leave some lemmas for later, althoug I'm
pretty sure they can be proved (albeit tedius).
added abbrev for reftgts/1.
adjusted order.