still trying to prove reftyping-ok/read/unique.
efxmap`leq-implies-permission-leq-converse.
merged conversion.efl
Merge branch 'master' of https://github.com/sunchao/reftype