Reorder missing theorems list
Reorder missing theorems list

Specifically, move uzinfmi through uzsupss to be in the same
position in the missing theorems list as they are in set.mm.

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