mostly style and typo fixes. some reordering of dimension theory section.