tex source for on interpretation and bootstrapping
focus on the interpreter and include proof of correctness