Move syntax lifting helper to a new file in TR
Support lifts in TR with-types

Closes PR 14650
Fix cast/make-predicate contracts in with-type
Refactor and organize imports
Send fewer emails from Travis.
Check with-handlers better in TR

Now checks that a predicate and handler in the same clause
are consistent (using the filter on the predicate).

Closes PR 13950
Closes PR 14641
improve judgment form performance in some situations when
ambiguous judgment forms lead to exponential blowup
add some contracts to pict/code
fix contracts
fix test
fix language extension bug in reduction-relation

closes PR 14660
export snip-class because the matrix snips need that to work properly
adjust real-in implementation so that it prints as (real-in ...) instead
of (between/c ...)
meta/pkg-push: improve status and error reporting
raco pkg update: don't claim conflict with package being updated

Merge to v6.1
Fix `Values` in type annotations

Closes PR 14218