fix careless error
Starting to store and display curation information
Setting up the conflict detection framework
Changing breadcrumbs
Fixing error with uninitialized packages
Add xrefs and advice re Robby
Add xrefs and advice re Robby
Doctrinal purity
Avoid unsound optimization for complex division.

Found using random testing.
Document not yet fixed optimizer bugs found using random testing.
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.
Fix untested contract generation code.

Closes PR 13449.
Add polydots to all things that support it.

Closes PR 13612.
Closes PR 13584.