Fix library so that it works with the newest coq

Closes #152
Make Unit a Set

Having Unit in Prop causing issues and universe inconsistencies, such as
https://github.com/HoTT/coq/issues/50.