wumpus-basic

Copperbox revision 2197.

I've implemented the wrapped primitive change hinted at yesterday, to enable monadic operations on Images and Graphics. Because I need to pass unit information at the type level, using the Monad class is ruled out so I have my own class UMonad. Naturally I loose the do-notation.