Tweak wording of abstract

This commit fleshes out the abstract a bit more.
Rewrite introduction to theory section

This commit rewords parts of the introduction to the theory section,
and hopefully makes it work better as a stand alone subsection.