A few typography changes to the proof of Lemma 5.2
Insert some line breaks
Some more changes to the proof of Lemma 5.2
Rewrote abstract, finished GL_n example in Section 4