Simplified the translation monad.
Simplified the translation monad.

Ignore-this: 1f09b4fb6f46faf67b22b8f7110aabc3

darcs-hash:20111212174338-3bd4e-c1bfc93bcba50e2d343f8f59d86f1911fe199e2d.gz

asr/fotc,asr/fotc