Progressive should get its own section IMO, since the term is often extended into other genres when they meet certain quotas (extended suites, weird time signatures, certain lyrical themes, etc). So Prog. rock, metal, and electronic would all go under the same umbrella.
