// returns [<field name, original value>]
static Map<S, O> dm_changedFieldValues(O mod) {
  ret filterMap(dm_originalFieldValues(), 
    (field, originalValue) -> !eq(originalValue, getOpt(tempInstance, field)));
}