Intuitionize mo2icl in iset.mm
Intuitionize mo2icl in iset.mm

Add an A e. _V hypothesis (and rename to mo2iclex because there is
a new hypothesis) to avoid the case elimination on A e. _V versus
-. A e. _V . Change mo2 to mo2r because that is the direction
we are using.

metamath/set.mm,metamath/set.mm,metamath/set.mm