IsEqualForObjects

now the set of objects is constructive.
IsEqualForObjects

is now actually used.
Commit closes #21
First version of eval rule application.
Fixed bug in replacement.
Merge branch 'master' into logic_parser_devel

* master:
  IsEqualForObjects
  IsEqualForObjects

Conflicts:
	LogicForCategories