Fixed MyWriteT, and corresponding methods in simulation.
Issue with Amount being an instance of Monoid though...
Cosmetic changes