What if the syntax and semantics of a programming language were specified in a library, rather than built into the language, and thus could be swapped or extended at will just like any other library?