Diff ppx_string-0.15.0-r1 with a ppx_string-0.16.0

Thank you!