Edited the "README.md" file and the "docs/language-specifications.md" file.