Update README.md

General design principles of the language.