Checkmate UI improvements

[ayazhafiz]

Adds a bunch of improvements.

This is coming along very nicely and is already a lot useful for analyzing the basis bug than it was 2 weeks ago 😅 I'd like to add a few more utilities before calling it and getting back to fixing bugs with this tool:

• Clean up the representation of types/variables
• Fix the loading of default variables. As you can see, they are currently missing.
• Add support for viewing two epochs at once. This is crucial for seeing what changed over a unification.
• Add support for viewing the root key of a variable. Right now this is invisible.
• Add basic support for listing constraints unifications arise as a result of.
• Publish this on a publicly visitable static site.

Screen.Recording.2023-07-31.at.6.17.51.PM.mov

[Anton-4]

Looks awesome!