Beginning the overhaul. Sample of first 50 lines.
Removing parentheses around lambdas.
More work done on uu0, sSet.v is added, surjections moved to hProp.v
Removed all occurences of match from uu0.v
Some more changes.
Merge branch 'master' into overhaul
Merge pull request #51 from lambdabetaheta/overhaul

Beginning the overhaul. Sample of first 250 lines.
More changes to uu0.v
Revert 0a09536..e2a3de3

This rolls back to commit 0a09536345823ce478190ca1b4c1e8faafd74092.
Revert f97a8f9..953b1c1

This rolls back to commit f97a8f94db6cb59045be5adbe591a40393701f98.
Revert c1fe79e..74c4577

This rolls back to commit c1fe79e7226d057ee4079f554593473067d6801c.
Revert 0a09536..bc2cf98

This rolls back to commit 0a09536345823ce478190ca1b4c1e8faafd74092.
Revert e2a3de3..63ea525

This rolls back to commit e2a3de31ba9198183c72b9dd02891c9a6aec8e4c.
Moved the new uu0 to uu0_no_use_of_match, reverted to 0a09536 version of uu0 and added to it some of the new material from the new uu0.
Added uu0_no_use_of_match, sSet and for_cubical to the git tree
File uu0 split into four. The onld uu0 preserved until a new makefile is created.
Conflicts in uu0 resolved
Changes to uu0 for conflict resolution copied to uu0a
The splitting of uu0 into four parts is completed
Cleaned some directories in Foundations, updated again .package/files