Documentation for ppx syntax extension.

and small grammar/spelling fixes for pa documentation.