Renamed IndexedSubSets to IndexedUniverses, as that is what it creates.
Also *prepared* easier strategy-programming for creating universes.
Mobed auto-selection of universes to universes sub-package (knowing the
sub- term has no meaning)
More cleanup. Also removed weird constructors and static creator
methods. There is a problem with the unit testsuites that seems to fail
at random. Have to look into that.