changing the way inferences are handled: instead of aggregating them
inside conclusions they are now represented as concrete subtypes of
Conclusion. Each such subtype corresponds to a specific inference which
produces a specific type of conclusion. Also adding types for
intermediate inferences, e.g., forward links and propagations (although
that's not needed, just to make Yevgeny happy).