17:22:32beachI made a lot of progress today, but I don't have much to show for it. There were many more problems to solve than I had expected. I thought I had finished phase 4, but then ran into problems loading definitions of generic functions into the Ersatz environment (E5) which required modifying some code in phase 4, so now phase 4 does not run to completion. But I am too tired to solve the remaining problems today.