removing unused methods
replacing the visitPremises method of TracedConclusion by
PremiseVisitor, simplifying the recursive trace unwinder
various minor tweaks and experiments with tracing