Add negated equality and membership to iset.mm
Add negated equality and membership to iset.mm

This is a copy-paste from set.mm; follow up pull requests will
be needed to intuitionize a number of parts of it.

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