Add Omni to iset.mm
Add Omni to iset.mm

This is the class of omniscient sets.

Also add isomni which is the usual theorem which expands a definition
in terms of a class variable.

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