Make Unit a Set

Currently, `Unit` is a `Prop`.  This can cause universe inconsistencies, such as in https://github.com/HoTT/coq/issues/50.

Is is on top of the fix to make the code work with the newest version of HoTT/coq, for convenience.