full.ml: PowerList.of_ne_list_with_cast -> of_ne_list.
Additional keywords in the Ocaml mode.
NEList: cons not needed, cons' -> cons.
Full.ml: cosmetic change.
full.ml: pair_up_with_default was now unused.
full.ml: Getting rid of NEList altogether.
Update .gitignore with ocaml things.
full.ml: further simplification in PL.of_ne_list.

Closer type to the Coq version, and less code duplication.
Add a footnote on type annotation for non-uniform recursion.
Begins the explanation of the initialisation phase.