made QUOTEDSTRING an option for Intention values

compiler/2014/LabCommParser.parser

@@ -65,7 +65,7 @@ List annotation_list =
   ;
 
 String key = IDENTIFIER;
-String stringliteral = IDENTIFIER;
+String stringliteral = IDENTIFIER | QUOTEDSTRING;
 
 Annotation annotation = intention.i | docstring.d;
 Annotation intention = LPAREN key.k COLON stringliteral.v RPAREN {: return new Intention(k,v); :};

examples/user_types/test.lc

@@ -5,9 +5,9 @@ typedef struct {
 typedef int anInt;
 
 typedef void avoid;
-sample (function:trigger)(foo:bar) avoid doavoid;
+sample (function:"a trigger")(foo:bar) avoid doavoid;
 
-sample (a:b) "a struct with an int and a ref" struct {
+sample (a:b) "A struct: an int and a ref." struct {
   (c:d)(e:f) int x;
   sample reference;
 } intAndRef;