Allow fact-generation by rules.
Some optimization for KB (re)generation.
Label side detection for the join rule.
Removed old join rule implementations.