edits through decidable sets