Check actual args when form looks like for/list.
Make PolyDots actually subtype correctly.
Make PolyDots be subtypes even if they have different fixed arguments.
Add more hacky things to make with-handlers typecheck.

Closes PR12644.
Cleanup of subtyping, additional comments, and improved short circuting.
Fix lots of indentation mistakes.

(Found by my ayatollah script...)
Fix CRLF-ed file.
make parametric->/c do first-order checks for the argument/result
contracts that it generates

closes PR 13600
add contracts, fix a bug, add a test case
sync scribble docs with cmdline help text
add an "install package" GUI to DrRacket that calls into planet2
note that the logger-callback's default argument is #f
change compiler/cm so that the default logs the messages to
a logger named compiler/cm
fix a bug that inhibited online compilation from writing out .zo files
when it compiles required files

Now that this is fixed, the compilation manager will be (once again)
active when doing online compilation, so if the "Populate compiled
directories" checkbox is check (which it is by default) in the details
section of the language dialog, then online compilation will, as it
compiles your file, write out .zo files that will also be used by the
Run button.

The actual fix to this bug is the change in expanding-place.rkt (and
all it really does is move the setting of the
current-load/use-compiled and current-load parameters earlier so that
CM sees only the modified parameter settings and so doesn't give up on
compilation.

The rest of the changes are a test case (and change to drracket to
support the test case)
syntax/rect: IN PROGRESS
sorry, didn't mean to push this

Revert "syntax/rect: IN PROGRESS"

This reverts commit 7880c6de3cf929771ea22dd96a5d0c10f7fd1b9b.
tweaks to option contract usage
add clause-name to define-metafunction, to be used with the
newly extended metafunction-cases
Synch German string constants with latest.
add a test for drdr's consumption to keep the ryr models in sync