Added a language design document.

It's not complete, but it's a good start for the first "bare bones"
version of the language.