Add syntax and typechecking rules for string literals