Update STYLE, incorporating wiki; close #468

Backticks around `Equiv`