Cleanup type-env-structs.

Removes all unused functions and cleans up the remaining ones to have
more consistent and simpler APIs.
Fix docs for `takef`

Closes PR 14619
Make tc/funapp follow contract in error case.

Closes PR 14615.
Fix typechecking of list* with no args.
Make with-type disarm/arm the body expressions.

Closes PR 14587.
bump version number for change mentioned in commit 83e8cfbafebd47406fc518d007de1eade0757140
bump version number for abbreviate-given-names addition

(from commit 74831b41cc2589af94a4e7cc6ffefa1d8809226c)
bump version number for change mentioned in 145644ace4187c9c9376e00f2d271aaf23a61d4c
add @history[] note for change in 0a0c62a1e606e9e668cfe9bb20dfa628e6657d7c
add @history[] note for change in ddb74774941a3c3fcc1c4162b8fde3168435a302
make double-clicking in the list box for the "Open Collection Path..."
menu item work
spell check
add --letterbox to control the color of the letterbox
fix metafunction rewriting

in the case that the bad use of the metafunction appears as the first
thing in a good metafunction application

closes PR 14618
propagate some source locations for better error reporting

related to PR 14595
Fix array tests after TR change
spell check redex reference
Add test for pr14567.

Closes PR 14567.
It seems that this has been already fixed.
Add omit-define-syntaxes to secondary form of define-type-alias.

Closes PR 14505.
Add docs about optional type annotation to let/ec and let/ec:.