wumpus-basic

Copperbox revision 1808.

I've made the arrow connector drawing function straight-forwardly monadic again.

Previous I had some rather exotic types for transformations roughly: m (a -> a) but now I'm using simpler types along the lines of m a -> m a.

The new code is perhaps a bit uglier as it uses bind directly, but at least it is now comprehensible.