Prove that Bool is an hSet, and finish equiv proof
Merge pull request #149 from JasonGross/bool-hset

Prove that Bool is an hSet, and finish equiv proof