Loosen locale domain constraint to allow NULL
Replace the Change existential type with a sum type; add 'findEditsInvolvingAll' to find edits involving (the conjunction of) a list of entity references