Remove redundant Esorteds.
remove extra eauto.
rename siors<->siands which makes more sense.
Add subset and equiv functions to set.v.