Fix silly typo, label for Haste section.
Explain App monad.
Finish explanation of App monad and its operations.
Add abstract.
Finish explaining Client monad.
Remove GUI toolkit from future work. I just can't get it to sound good.
Fix Peter's feedback.