Add types for remaining `in-foo` functions

Also fixed `in-directory` type

Please merge into 6.0
(cherry picked from commit 249427afb41907fc974993f7ce310e9014d4938e)
Fix `make-predicate` at the top-level

This solves the immediate problem, but more generally the
handling of ignored syntax at the top-level seems very fishy.
There is a complicated protocol involving the top-level
type-checker returning #<void> for cases with no obvious
return type, but it's unclear if it actually works. That
code in tc-toplevel.rkt should be revamped in the future.

Closes PR 14030

Please merge into 6.0
(cherry picked from commit f292a9c0f277bc07d0932ed67f893ca1cb022a43)
Simplify fix for PR 14030

Please merge into 6.0
(cherry picked from commit 6a787c963f22d563a67b731914ac204e2e051ebb)
Fix `provide:` when it's after the definition

Closes PR 11172

Please merge into 6.0
(cherry picked from commit 7e1b3c306d57b5f7d56a16c468518a790c7952ac)
raco pkg {install,update,...}: propagate setup exit code

Also, when `raco setup` reports an error, print a message to
say that the package install/update/... completed anyway.

Merge to v6.0
(cherry picked from commit ecaa6576a3eb56aee335755805f4cc78d1ba5122)
raco pkg config: show all by default

Also, better help, checking, and error reporting on arguments.

Related to PR 14180

Merge to v6.0
(cherry picked from commit 53ce3b7b96e627989d3d4a506329cd5b51bce8d4)
Correctly typecheck all subelements of vector literals.

Closes PR 14184.
(cherry picked from commit cbe1b532795819d45c9bc8ccbaf1507c21b01649)
Add benchmarks to TR test dependencies.
(cherry picked from commit 3e37e940002a581b6295014ccf5a5c99ad03fc50)
Add more syntax classes for let-clauses.
(cherry picked from commit 6d84fe3cf24d327aa0421724356234774d2cde62)
Make standard syntax class so that clauses are in order.
(cherry picked from commit 3681fe8105f04a173558d363ae631eae5a42fcd9)
Make new syntax class for all clauses.
(cherry picked from commit 74ce1ea748e4d911c4edfea0c30b60ae41706d15)
Make unboxed let-bindings only log their clause.
(cherry picked from commit af6bc6e8e225cd5ce3bb2bdd2b64a6c362fb6d32)
Move more call-site optimization structure into the syntax class.
(cherry picked from commit 69f690f4b981901e060732aaae392189e1490c14)
Improve comments and change name for unboxable-funs.
(cherry picked from commit 2fd6a05d462ab7c927168693434c9e4580e6ddc8)
raco setup: fix a read-only use on the docindex database

Merge to v6.0
(cherry picked from commit 79f3fd5e64bc3f1982ea4145e8923ff855030cf6)
configure: add fallback when checking for ar
(cherry picked from commit 9213d1aa798d1c1526dd915cf8ff02089aad5db9)
TR: Prevent internal error on `begin-for-syntax`

Closes PR 13878

Please merge to v6.0
(cherry picked from commit 9da8203c9c3a7c101360f57c6721f7f1a071ca91)
Caveat section on macros/phase-1+ code in TR

Please merge to v6.0
(cherry picked from commit d29256eeb22c1d1cfff79d93654ede26023acf33)
Improve type of `negate`

Now for functions with simple filters, it'll negate the
filters so that, e.g., (negate string?) can be used with
occurrence typing.

Please merge to v6.0
(cherry picked from commit 0f8ee738142c8e253c638c836fc1c5c893751d32)
fix/expand/improve docs on "config.rktd"

Merge to v6.0
(cherry picked from commit 8aa5f4a83a85237e82f67850cc60ed6fb4fa382c)