Remove unused kw field in lam-result.
Move logic of numbering rest/drest arg to abstract results.
Make tc-lambda-unit have one centralized definition of how to extend the environment.
add more debugging output for a JIT-buffer-overflow internal error

Show the content of the buffer and the content of the temporary buffer
used to predict the size; then, I should be able to track down the
source of a mismatch.
work around bug(?) in Mac OS X select()

Using select() to check whether a pipe is ready for writing seems to
fail on Mac OS X 10.8 and 10.9. See the PR for a small C program to
demonstrate. It's possible that the small program is broken and
there's no bug, but the program works on Linux and on Mac OS X 10.7
and 10.6.

Although poll() seems to work, switching completely to poll() is not a
good option on Mac OS X, since poll() does not support devices on that
platform.

The kqueue() facility seems to handle pipes and writing ok, so work
around the bug by enabling the use of kqueue() on pipes.

Closes PR 14596
Make Unions of function typechecking work again.
Fix error for application Procedure type values

Removal of top-arr in the internal representation changed
the error message and we didn't have a test for it.

Closes PR 14601
Add syntax property that tracks the exported name

This establishes a communication channel between the
contract system and TR. TR normally can't track the
relationship between the identifier bound to the transformer
that produces the lifted value expression (which has the
type in the environment) and the lifted expression
itself.

This change adds that information in a syntax property.
Add support for typechecking contracted functions
Add types and tests for racket/format
Add a test for the new kw app property propagation
Address some PR feedback
Fix copy-properties
Add forgotten file