start with this
add a note about subset types
add a naive subset type + values. I want to get rid of the dot when building them though
more stuff about subset types
Merge branch 'master' into feature/record/length
update, dotless subset types
merge master, fix some obvious things
merge master, fix names
in the end things are final
merge master, fix NEList
make TypeUnion free from type member ops, just one cardinality
go unicode go!
Added TravisCI config
Improving tests
fix TypeUnion empty
merge merge
stupid equality for now
no Eq for Denotes due to 2.10.4
Scalaz - fuera!
Merge branch 'feature/record/length'