added update_same, update_other, update_triv, and map_of_SomeD
added update_same, update_other, update_triv, and map_of_SomeD

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle