Fixes - introduction.
Fixes - domain.
Fixes - preprocessing.
Fixes - kernelization.
Fixes - kernelization HD.
Fixes - kernelization LP.
Fixes - kernelization LP.
Many many small fixes around everywhere, pretty much.
Change def/th references to capital case.
Fixes - kernelization CR.
Again, lots of minor fixes and replacements.
Fixes - CKX