You're right, the iTunes Store does not sell in ALAC format. They sell a "Mastered for iTunes" format though, which is encoding the 256Kbps AAC file from a high quality source.
which is not lossless and is completely irrelavent
I'm aware, just explaining what the original commenter might've been referring to.