added curried_lookup/update operations -- in preparation of currying plain lookup/update;
added curried_lookup/update operations -- in preparation of currying plain lookup/update;

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