Ppx documentation improvements