Merge pull request #375 from JasonGross/set-notation

Define Type0 to mean Set
Make Empty a Set

It fixes some universe issues.  If you want the [Prop], use [False].