Add Writer monad data-type

[agreco]

The Writer monad should provide functionality that composes functions that return their values combined into a string forming a log, with the final result being a value and combination logs from each function application.