First version of eval rule apply.
Fixed up eval rule applier
Eval rule parser functions.
First version of eval rule application.
Fixed bug in replacement.
Merge branch 'master' into logic_parser_devel

* master:
  IsEqualForObjects
  IsEqualForObjects

Conflicts:
	LogicForCategories
HistoryToString method.
Implementation of the Snake-Lemma