finished one round of rule refactoring; now for all conclusions accept
composition rule visitor, and for all subsumers one can apply
decompositon rules
renamed RuleApplicationVisitor to CompositionRuleVisitor,
+ documentation