Add -ppx example, make the examples to be compiled
Added ppx example
Add some cons operator