hgroup: Simpler semantics section on taglines now that hgroup is dropped.

Simplified the section to take out all the stuff about hgroup, and added in the "idiom" examples from the spec.