type system specification; more or less definitive
Update README.md
Merge branch 'master' into mergeKeywordTokens