Fixed typos
Added monad-control as a req, so we can lift some of the atomicIO stuff
Added lifted-base ; the module containing the generic catchJust
Generalized the atomicIO functions so they work for more general monads
than just IO