add new String language feature to language specification
remove errors in syntax specification