extensible-effects

* Has one warning left (runLogger defined but not used). Function left
  for coherence with source material.
* Main function added for binary that produces the same effect as
  `runLift $ runIOLogger verboseAddition` in ghci.