Better with-handlers support in TR

Checks consistency between predicates and handlers in `with-handlers` clauses.
Ah, then this is too restrictive -- you should just run the handler with type `Univ` as the input. See my later comment about `void`.