Modules are a major feature that, if added to the language, would pretty much make it unrecognizable. It would also fix a lot of our daily griefs with headers, of course.

The approach discussed in this talk seems to be quite backwards compatible, even if they don’t go into too much detail. Especially concerning how templates are treated. But it does look like a good starting point!