setup/unixstyle-install: fix up only installed ".desktop" files

Closes PR 14354
redex: add enum to benchmark plotting

also filter -base files correctly in run-muts
Add missing child fields in pict

Closes PR 14358
Improve TR's extra-env-lang

Instead of parsing the module's body like env-lang,
export a `type-environment` form instead. That way
the module may contain any auxiliary definitions
or expressions that are needed.

Additionally allow #:opaque and #:struct clauses
for opaque and struct types in the base type environment.

Update typed/syntax/stx for the new API.
Add typed/pict which exports part of pict

Does not cover all of the bindings yet, but it
should just be a SMOP after the last extra-env-lang
feature additions.
updating option contract tests
Fix TR double cast bug

In some cases, TR tried to typecheck the contents of a quote-syntax
form that contains unexpanded syntax.

Closes PR 14355
add some tests and start a "known bugs" test suite for the contract system
Improve TR lambda to accommodate type annotations

The new `lambda` form allows all combinations of arguments
with optional type annotations for all cases.
Allow TR `lambda` to have a result type annotation
Improve type-checker for optional arg functions
Incorporate PR feedback
Better error messages for TR lambda parsing
Add support for rest arguments in TR plain lambda

Two caveats:
  * in some positions : is not accepted as a formal
    when used in combination with * as a formal
  * the quality of parse error messages for rest
    argument types is traded for better optional argument
    error messages
Make :-less versions of `let` variants in TR
Add a :-less `do` for TR
Add :-less versions of `struct` macros
Support polymorphism in both TR let and lambda
Enable mixed type annotations for `define`
Accept polydots rest in TR lambda and define

Also accept type variables before formals in all cases