Intuitionize annim and others in iset.mm
Intuitionize annim and others in iset.mm

- Expand comment at annimim to cite *4.61 of WhiteheadRussell
and point to annimdc when discussing the converse.
- In comment for pm4.52im and pm4.53r, mention the converse.
- Remove annim, pm4.52, pm4.53, and pm4.61.

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