Better with-handlers support in TR

Checks consistency between predicates and handlers in `with-handlers` clauses.
Should this produce `Univ`, not bottom, if the predicate isn't actually a predicate?