Diff ppx_optional-0.15.0 with a ppx_optional-0.16.0

Thank you!