Ppx extension for string interpolation
