catch exceptions for badly constructed schema terms
cleanup
extra text fields to render in/out goals
highlight placeholder variables
basic goal term diff support and rendering
enumerate dummy names
add placeholder for assumptions
placeholder if goal matches
re-render CZT terms for nicer display
equality checks for CZT terms that take quantifiers into account

Normalises quantifier names so that terms are equal if only their quantifier names differ