Remove dead code in tc-metafunctions.
Make -filter and -not-filter do more simplification.
misc cleanups to graphing code so sizing is easier and
change the labels in the legends
Make Bottom not a special case for tc-any-results.
Make -imp simplify more, and use it in more places.

Also add filter tests for implication.
Make TR use rest annotations over expected type.

Closes PR 10936.
fix explanation of stlc bug #2
Use `lazy-require` to avoid dependency for `fv`.
Fix documented contracts for identifier comparisons.

Fixes issue #548.
Fix description of `read-html-as-xml`.

Fixes Issue #427.