Moved the appendix with the summary of the classification.
Progol multi-clausal concepts.
Summary of thesis achievements.
Background knowledge examples from Xhail removed.
Xhail appendix downwards added.
Xhail test corrections.
Appendix corrections.
Fixed typos.