For progressive rock my first choice would be ATC. The sheer force, power, and thrust they can belt out cleanly and without distortion makes them a great match for this type of music IMO. The downside is they do require some power to shine, so I doubt your Mac would be a good match. But if it were me in your situation, I'd get a Lyngdorf integrated for its room correction. In a room like that and if you don't have the ability to use a good amount of acoustical treatments, I think the benefits of room correction will far outweigh whatever other compromises there may be and you'll be thrilled with the results. I also agree with others that incorporating a couple good subs at some point is a must.
Planar and electrostats are incredible at what they do, but IME they can't do the power, thrust, and oomph thing like good dynamic drivers such as those in ATC. Here's an example of a pair available here now just FYI...
https://www.audiogon.com/listings/lis96f5j-atc-scm-40-gen-2-passive-satin-black-full-range?refsource...
Anyway, hope this is somewhat helpful, and best of luck in your quest.
Planar and electrostats are incredible at what they do, but IME they can't do the power, thrust, and oomph thing like good dynamic drivers such as those in ATC. Here's an example of a pair available here now just FYI...
https://www.audiogon.com/listings/lis96f5j-atc-scm-40-gen-2-passive-satin-black-full-range?refsource...
Anyway, hope this is somewhat helpful, and best of luck in your quest.