Add doc for #:no-optimize.

Closes PR 13001.
Add example of (List t ... bound).

Closes PR 11903.
Fix prefix-of.

Closes PR 13448.
Fix contracts in TR.
Fix tc-apply to correctly generate expected ValueDots filters.

Closes PR 13649.