Adding the IO monad to Code.

This will allow a specific code to set up its environment,
including perhaps talking to IO-centric systems, like the GPUs.