Update fixes for annotations and various list pretty printing
hopefully useful bootstrap lemma

says what the references look like in the bytecode state when the
compiler invariant holds; hoping this will do some (or most) of the work
of allowing the references to be changed.
start working towards data representation things in bootstrap_lemmas

namely, making sure constructor tags match up properly, figuring out
where to store this information in the theorems/definitions.
Added coloring (color choice t.b.c.) for ctors and globals
Bugfix for Con SOME pp
Remove unnecessary semi-colons
Add color for debrujin indices, fixes to PP for intlang letrec
Added coloring for annotated functions
more updates to bootstrap_lemmas
little bit more progress on bootstrap_lemmasScript.sml
Bugfix and accumulator version for get_tags in exhLang
add new bootstrapping theory

evaluates the compilation of the repl module, and the code for calling
repl step. takes around 30 mins to build on my machine.
thoughts on bootstrap lemmas

given that we can have access to the bootstrap compiler state
COMPILER_RUN_INV_INR down to one cheat
reduce COMPILER_RUN_INV_INL to a similar cheat

as COMPILER_RUN_INV_INR, and work on that cheat a little. it looks like
it's just going to be a huge pain to prove, although it's obviously
true. there are probably smarter less painful ways to prove it, somehow.

Basically, the cheat is: if a value satisfies the refinement invariant
for INPUT_TYPE then its refinement at intLang doesn't contain any
labels (which only appear on closures).
Made bracketing slightly smarter
Update pretty printers with sligthly smarter bracketing
add small title and intro to compiler explorer page
prove FV_decs evaluation in the bootstrap theory

adds about 7 minutes; not sure if this calculation of free variables can
be avoided or sped up but it's not too bad in the grand scheme of things...
reduce the cheats in bootstrap_lemmas to EqualityType INPUT_TYPE

which I am not going to prove since the translator should already know it