Could this approach be used for media compression? I've wondered how compressible a popular-music track could be if you had a sufficiently rich language to describe it. This seems like a method to answer that question.
I've always wondered how much classical music sounds the way it does because sheet music is the way it is.
But in this case you could imagine the right balance where it does end up with a significant savings.