This is @FayCarson's work.
There are still some fixes that need to be made. See src/parser/TODO.md for a list.
ocaml
