Define Type0 to mean Set
Merge pull request #375 from JasonGross/set-notation

Define Type0 to mean Set