Prove that Bool is an hSet, and finish equiv proof