Minor tweaks to abstract
Introduction: remove prose version of ToC, tweak some text
Related work: various rephrasing, grammar and spelling corrections
Theory: various rephrasing, grammar and spelling corrections