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
fix errata in tests
Merge branch 'rename/pkgs/names/to/cosas'
Merge branch 'master' of github.com:ohnosequences/cosas