Merge pull request #375 from JasonGross/set-notation

Define Type0 to mean Set
Add Utf8 notations in a separate file