Basic implementation of the standard O(ND) diff algorithm.

This requires ghc.