A ppx rewriter that defines an extension node whose value is its source
position.