Presumably a "new" DM that represents the new set of equations ... and to start we will need to do very specific examples before coming up with a general paradigm.

  But it seems best to me to make this orthogonal to PCFieldSplit.