Evaluation via IQ

Replaced the Java code by RuleSpecifications based on the generated IQ
Matchers. It works, the model however needs to improve a lot. (See the
TODOs in the readme.)