WLS: ok, I believe the first draft of the types chapter is now complete.  Obviously, it still needs a lot of work, but at least all things are now covered (as far as I'm aware) to some degree.