majalan

Copperbox revision 3038.

I've removed the WriterState monad module and clean up the code where it was used.

Where it was used I've switched to using just a Writer monad. It turns out it is a lot easier to think about concatenation when I'm using (inefficient) Writer rather than a more efficient State monad.