types/Prod: improve the UMPs
types/Prod: products are symmetric
Merge branch 'prod' of https://github.com/mikeshulman/HoTT
Almost finished porting HSet
Merge branch 'master' of github.com:HoTT/HoTT
Fixing HSet, adapting to the new ~