Much more user-friendly rule names

For rules that have more than one variation.
e.g. DeductionRule<ImplicationLink>, DeductionRule<InheritanceLink>