The splitting of uu0 into four parts is completed
Cleaned some directories in Foundations, updated again .package/files
The file sSet.v is added to Foundations/hlevel2