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