During development of the various tree diff functions, it was useful to keep an open-ended design using GADTs. Now that the shape is stable, refactor in a more familiar functorial style. This eases readability, review, and extension.