How to upgrade the language?
============================

Language features as well as language restrictions (e.g. backwards-
incompatible stricter static checking etc.) could be specified as
virtual "module" dependencies.

A module without any language-version dependency at all could perhaps be
interpreted as depending on some reasonable default version, that could
change over time.