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