PPX rewriter that defines an extension to find source position
