properties can be sets now
Merge branch 'project' of github.com:cdmihai/522 into project

Conflicts:
	project/change-propertySet.maude