Update Language Specification

add new String language feature to language specification
fix errors in syntax definition