Work on formatting of the Hask Book