Update STYLE, incorporating wiki; close #468

Mention `: clear implicits` (or whatever it's actually called) here, maybe?