Reporting
I continued with the chapter on syntax, that I have more or less finished, and started some parts of the chapter on type inference. It is quite difficult to say exactly how much I have really written since I worked quite a bit on the text that existed already. The number of new pages however is 3.