Finished first draft of monad transformers section, lecture notes finished pending revisions