A round of edits

[ceastlund]

Mostly just rewording. See how it looks to you. Also, the references section could use some work to look more like a bibliography.

[pitag-ha]

Nice, thanks a lot for the in-depth go-through! It's way clearer this way, and you've also caught a couple of things that were misleading to wrong before.

[panglesd]

Some query-replace that could be done (I don't know how to do them in the PR, and opening another would yield conflicts...):

• $ppxlib$ -> \texttt{ppxlib}
• $metaquot$ -> \texttt{metaquot}
• $opam$ -> \texttt{opam}
• $ocaml\mbox{-}migrate\mbox{-}parsetree$ -> \texttt{ocaml-migrate-parsetree}
• $ppx \_ deriving$ -> \texttt{ppx_deriving}
• $merlin$ -> \texttt{merlin}
• $Stdlib$ -> \texttt{Stdlib}
• $compare$ -> \texttt{compare}
• $Ast\_builder$ -> \texttt{Ast_builder}
• $Ast\_pattern$ -> \texttt{Ast_pattern}
• $ppx\_universe$ -> \texttt{ppx_universe}
• $ppxlib.0.26.0 $ -> \texttt{ppxlib.0.26.0}
• $ocaml.4.02.00$ -> \texttt{ocaml.4.02.00}

[ceastlund]

The convention I tried to go with was math-italics for names of things, and fixed-width for literal OCaml code. But I'm open to whatever other convention people want to go with.