Fix whitespace.
Fix minor doc.
Add lift4.
Trim documentation. Refactor so that modules such as State now have the
full Monad signature, rather than just the base signature. Add "onlyif",
"unless" and "ignore."