Fixed "Notes on constructivity" and the introduction for Chapter IV.
A lot of minor changes.