working on the cancellation tactics.

- also eliminating a bunch of printing in MonadicCanceller
finished SynSepLog and SepLogSpec