Currently working on the `connected algebraic groups section'

Lots of improvements here, mainly as a result of our conversation with
Masoud, and from reading his thesis.