Rename sizeennn to hashennn in iset.mm
Rename sizeennn to hashennn in iset.mm

This is to follow the "hash" naming convention from set.mm.

Also, rename sizeennnuni to hashennnuni

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