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
mz-gdbinit script gives type when using pso

THe mz-gdbinit script (generated by mk-gdbinit.rkt) gives the type when using
pso, even when the default template did not include the type.

It defaults to printing out only the name of the type without additional
information.