reftyping-ok/read/unique/L2 and reftyping-ok/read/unique/L3
make clsmap-cxt only take non-null types.
permission`implies-respects-eq-left and permission`implies-respects-eq-right.