Better with-handlers support in TR

Checks consistency between predicates and handlers in `with-handlers` clauses.
Can you add a test where `void` is used as the predicate?