Describe the Bug

On a big example the type errors can be hard to see; in addition, when I try to run an example and get a backtrace it is reliably frustrating to have to scroll on a tiny little window

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response