Move to open-Values instead of open-Result.
Add a bunch of unit tests for open-Values.
Make the filter actually be opened up in the AnyValues case.
Substitute into the dotted type of tc-results.
Remove bad branch it tc-lambda, and support code in values->tc-results.

The branch was bad because Values is not a valid Type/c.
Merge open-Values and values->tc-results.
Simplify values->tc-results.

Also fixes a bug in subst-tc-results not substituting into the dotted
type.
Add test requiring filters on AnyValues.
Make tc-results->values not drop filters.
Correctly add scopes to incoming objects in replace-names.
Replace abstract-results with replace-names.

Also moves large comment over to with replace names since it is now
doing the heavy lifting.
Make cgen/seq for lists be used more often.
Correctly instantiate poly dots during inference.

This removes the need for the cache of type variables for instantiating
dotted variables, because we instantiate the uses at once.

Closes PR 14576.
Closes PR 14577.
Closes PR 14579.
Closes PR 14580.
avoid re-generating some bitmaps on test
move some test-generated files to temp dir
raco test: handling of spurious files

A `--drdr` run shouldn't stop because a discoevered file
disappears (such as one generated temporarily by a test).

Also, use new style for some errors.
raco test: add `--heartbeat` flag

Useful when running many tests in parallel to keep track of a test
that is running especially long (and maybe stuck).
bitwise-bit-field: repair fixnum overflow problems

Bug reported by Roman Klochkov
add to the framework's spell checking support

the ability to determine if specific spots in the editor correspond to
misspelled words
improve drracket to offer spelling suggestions and to jump to next misspelled word