made agda code submodule track the report branch of that repo
added more future work points to be expanded on
Included references to new splitted chapters 4 and 5 in the end of the
introduction
Gathered similarities/differences upon which to comment on discussion/comparison chapter
Typos and grammar fixes in background while re-reading as preparation.
Also using Haskell mintinline where texttt was before used