PPX rewriter that generates the implementation of Ldiffable.S
