Renamed Type to Wrap
Some changes in Denotation
Refactored everything to conform to the new safety guidelines: refinements in input; mixins in output; aliases in bounds
Added PropertiesHolder; fixed HasProperty checks (now adding only one property per declaration)
rename
rename everything to cosas
Removed TypeBound from Denotation; Made property a denotation of itself
Merge branch 'master' into rename/pkgs/names/to/cosas
Fixes in properties; added labeled property
add a ref to me as maintainer
fix errata in tests
Merge branch 'rename/pkgs/names/to/cosas'
Merge branch 'master' of github.com:ohnosequences/cosas
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
add unbounded valueof, change naming to denote. Needs further work
Added Gitter badge
Merge pull request #25 from gitter-badger/gitter-badge

Add a Gitter chat badge to Readme.md