Make Unit a Set

Having Unit in Prop causing issues and universe inconsistencies, such as
https://github.com/HoTT/coq/issues/50.
Merge pull request #154 from JasonGross/unit-set

Make Unit a Set