removed an redundant argument in efxmap`leq-implies-permission-leq
and efxmap`leq-implies-permission-leq-converse
Merge branch 'master' of https://github.com/sunchao/reftype
fixed the order of Pi1 and Pi2 in tgtmap2perm/+.
enhanced good-out.
forgot to fix tgtmap2perm/0 too..
added more comments.