As a counterpoint, Wirth-style languages have basically remained the same for decades whereas work on type theory has repeatedly moved the boundaries of comprehensibility.
Please elaborate. I see more expressivity, but I see no clear trend regarding comprehensibility.