Fix `inherit` in methods without type annotations

Uses of inherited method names inside other methods that
didn't have type annotations didn't work properly.
macro expander: fix `identifier-binding` on fully expanded module

Fix the case of an identifier that is used as a binding in a module
but originated from a different module.
The implementation of `#%top` within a `module` has, for a while,
required that the identifier wrapped by `#%top` not have a local
binding. Change the documentation to match the implementation in that
way. (Since local binding in an identifier's lexical information
contributes to its identity as a top-level binding, that specification
of `#%top` would make sense everywhere, but I've left the top level
alone for backward compatibility.)

Also, change `local-expand` to never introduct `#%top`
wrappers. That's a little more consistent with what `#%top` has
evolved to mean, and it specifically works better with
`local-expand/capture-lifts`.

Closes PR 14635 and PR 14654
scribble: fix spacing after a 'compact enumeration
close hole in chaperone implementation

Problem, example, and solution from Sam; see the dev mailing-list post
on 24-JUL-2014.

When a chaperoned accessor, mutator, or property accessor is used to
chaperone a struct, the chaproning procedure must not be able to
see things that the chaproned accessor, mutator, or property accessor
would not allow.
macro expander: fix `#%top` via `local-expand`

Fix bug in b25a2b83ba that breaks the teaching languages.
Windows: use native Win32 API for dates

Allows conversion of negative "seconds" to reach dates before
1970, and fixes year-varying DST tracking for versions of
Windows that know about those details.

As far as I can tell, we have to compute ourselves whether a
date is in daylight-saving time based on specifications of
when daylight and standard times start. That part seems tricky
and could use extra review.
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 ...)