Update STYLE, incorporating wiki; close #468

Do we actually have `HProp` and `HSet` rather than `IsHProp` and `IsHSet`?  Also, you mention `IsTrunc -1` twice.