WLS: adding a little bit of text for the typing and verification chapters.
WLS: working on the description try/catch statements.