Better with-handlers support in TR

Checks consistency between predicates and handlers in `with-handlers` clauses.
Why is this `(Un)` -- the handler might return anything at all.