Update STYLE, incorporating wiki; close #468

Note really about the documentation, but shouldn't foo ^-1 refer to the equivalence, rather than the function?