Update STYLE, incorporating wiki; close #468

There's some discussion [here](https://github.com/HoTT/HoTT/issues/217#issuecomment-25227083) of why categories is in theories/.