Fix formatting in Evidences/Tm.lhs
Remove "> " from the interaction log.

Side effect: much better understanding of the control flow (still a long
way to go).
Show what the user is working on!