Update STYLE, incorporating wiki; close #468

It also applies `simpl` to the goal.