They are basically done but we need: * better presentation of the tutorial GHCI tryouts with the expected results shown explicitly; * add literate programme commentary for all of the `.lhs` modules in the library and examples (see #8).