Check kw functions with optional arguments better

In particular, allow the optional kws to be left out in the
expected type (a function type with fewer optional kws is
a supertype).

Closes PR 14583
Give more information for kw errors in TR

Tells the user which missing keywords were mandatory and
which were optional (which is useful if, e.g., the expected type
says mandatory but the function had it optional).
Closes PR14589.
add abbreviate-given-names

This changes the behavior of make-cite and authors, but it would
probably be better to change the behavior of generate-bibliography
adjust the 'Skip to Next Misspelled Word' menu key shortcut to try to avoid conflicts
Remove extraneous patterns in tc/funapp.

Also improves error messages on cases which return AnyValues/ValuesDots.
Only match on f-type in tc/funapp.
Make funapp take a Type/c instead of a tc-results?.
Add bottom as a special case in multiple value context.
Add match expander for functions and arities together.
Add test cases for subtyping of -Bottom.
Fix subtype for filters in AnyValues.
update the expected results for the redex bitmap tests
Make combine-results work with tc-result/c.
Synch German string constants with latest.
in text mode, don't do "The Racket Language"-specific things

closes PR 14590
Add contracts to filter-ops.
Combine poly and non poly cases in tc-app.
Remove dead infer functions.
Make infer take only one type instead of a list.