finally starting the infer command

Had to take care of a few more things fist:

• New DeductionsDescriptorUnit.
• New DeductionsRolon.
• New ruleReferences command lists the Rule Relation CSec references for a Relation DU.
• The du command has been moved to the navigation command group.
• Custom displays have been added to TransitiveRuleRolon and RuleRelationCSecRolon.
• Table _rrRef- has reverted back to _rr- and takes as the key the name of a relation DU.

But now I can use the crTable command to create a Deductions table. The next step then is the initialization logic in the infer command. This is where we query the infoset and add what is already known to the deductions table, while also setting up some transient data structures for use by the inference engine.

Bill