Update examples to use ppx syntax