Multiple corrections as discussed with Sasha, done

1. Sasha's Pproof of agp(g\times z) \to agp(g)
2. Multiple small corrections.
The paper should be readable now.