Update STYLE, incorporating wiki; close #468

"should be *definitionally* equal"?