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
Simplify fix for PR 14030

Please merge into 6.0
Fix `provide:` when it's after the definition

Closes PR 11172

Please merge into 6.0
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
raco pkg config: show all by default

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

Related to PR 14180

Merge to v6.0
Correctly typecheck all subelements of vector literals.

Closes PR 14184.
Add benchmarks to TR test dependencies.
Add more syntax classes for let-clauses.
Make standard syntax class so that clauses are in order.
Make new syntax class for all clauses.
Make unboxed let-bindings only log their clause.
Move more call-site optimization structure into the syntax class.
Improve comments and change name for unboxable-funs.
raco setup: fix exit code on doc error
raco setup: fix a read-only use on the docindex database

Merge to v6.0