Add example for Foster's at al. combinatorial language and add introduction to Fisher's et al. monadic putback approach
Add running example put-based combinator language and outsource formatting to thesis.lhs
Run spell-checker