Initial commit.

* readme
* language spec
* checker
* tests