better display and interactivity for trace data

[typeholes]

Currently the trace data functionality is not providing a lot of value, but I believe it can with better display and interactivity.

potential improvements:

• my intervals branch displays the calls as a tree with type creation counts per node.
• goto types in editor from the trace
• goto types and expression in the trace from the editor
• page to display expressions affected by a type
• display of types created when checking an expression without overwhelming users by the sheer numbers
• • summaries or analysis to highlight most relevant types?
• • ordering by time until next type created (or end of check)?
• • grouping types that are superficially the same ( ie, would have the same display )

Suggestions wanted.