Update STYLE, incorporating wiki; close #468

I might be good to mention the dependency graph here:
https://github.com/HoTT/HoTT/wiki