Update STYLE, incorporating wiki; close #468

Nit: You say `Sigma-types` here, but `sigma-types` above.