Update STYLE, incorporating wiki; close #468

Backticks around `IsEquiv`