update to Type from cosas, properties are now properties, minor edits
no more obsolete LabelTypes
Renamed AnyProp; added ScalazEquality to the tests; some minor fixes
Merge branch 'update/types/cosas' into experiment/arities/containers