Оказывается, всё уже сделано! И туман над прогом рассеян, и всё чётко разложено по полочкам.
Как выяснилось, существует наиболее авторитетный сайт ПрогАрхивы (по ссылке топ-100 лучших альбомов прога).

Тамошние эксперты в первую очередь полностью отказались от термина "арт-рок". А то, действительно, путаница с ним была.
Прог разбит на 20 поджанров.
Основной, тот которому относятся мои три кита, называется симфопрог.
(правда, Кримсон - почему-то эклектик-прог.) Есть и Кантерберри, и Итальянский прогрессив.
Есть также спэйс-прог, куда относят по крайней мере, часть альбомов Пинк Флойда.
Но думается, суперизвестные группы не особо интересно тут обсуждать.
А самый мне понравившийся поджанр - кроссовер-прог.

Туда, при желании, можно что угодно впихнуть. Но мы ведь не будем беззастенчиво пользоваться этой лазейкой, правда, парни?