wumpus-drawing

Copperbox revision 2293.

Initial work adding underline and strikethrough text effects to Doc Text.

Interpretation is now back in a monad - for once going from the pure world to the monadic one is actually a relief as it justifies the use of syntax in DocText rather than direct combinators.