add a link to the thesis by Siersma
mention the subsection on equivalence in the introduction
consistently use 'real main type'
fix some issues in the algorithm for the splitting lemma
fix the lemma on transformations for D_k
change description of the case E_6
change 'second part' to 'subsequent parts'
improve the description of the case D_4
fix typo and tex issues