Update trait should not be used for memories

[ptal]

For the moment, we have MemoryConcept requiring Update but it is not suited for memory since update cannot fail, or at least, no such check is performed. We should use a Rust-trait such as IndexAssign.