majalan-basic

Copperbox revision 2511.

I've removed the transformer versions of the Chain and Turtle monads. The type changes to the non-transformer monads to allow them to use localize on the context invalidated the run functions of the transformers. As I think the new types are the right way to go, I've removed the transformers.