Add Table of Contents

- TOC is in alphabetical order
- Minor naming fixes (e.g. Ocaml -> OCaml)