Added chapter on debug commands.
Fixed the :or clause of the submit-assertion-to-channels function.
Testing handling U-INFER messages in numericalentailment-elim. Not sure this is the ideal method.