Previously, both recursive and non-recursive lets were allowed, which made
a lot of transformations a lot more complex. Now, all lets are made
recursive again, which makes things simpler.
Also do some other miscellaneous fixes in the Normalization chapter.