Started adding language spec to readme

The language specification will provide both the semantics of the various constructs as well as provide the grammar for the language.