Declarative Specification for Unstructured Mesh Editing Algorithms