Fix unify and EvaluationToMemberRule
Make Member2Inheritance work
Partly implement Inference History Repository
Support similarity links with fake formulas.
Slightly Adaptive Rule Frequency Learning