Separate update semantic from write semantic

[nboldi]

With this modification it is possible to define write-only references, that does not have to require initial values.

If w is the write monad and u is the update monad then there is a Morph instance from w to u. This is necessary to compose references.