Multiple corrections as discussed with Sasha, in progress.

1. Moved Prelims to intro, before Results.
2. Results need to be revised to be more readable. Maybe intro, too.
3. Split section AGP into AGP, reductions between AGP and knapsack, and
AGP in direct products.
4. Multiple smaller corrections.