Accumulator; String deducer

  * Added monoids
  * Writer (now Acc) uses a monoid
  * Is String deducer evil?
  * Cleanup
  * Remove - for now - Applicative