Update section 2

Some small changes in section 2 up to (but not including) Schur
orthogonality