Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-05-07 12:12:06 -0700 (Mon, 07 May 2007)
Revision: 10658
Log message:

      A little cleanup on the syntax implementation.  After parsing, flatten
     strings as much as possible (for efficiency).
     
     However, keep white-space and normal strings separate.  We should probably
     use this to improve the Omake_eval string parsers.  We have the following
     invariants:
     
        - ValString s : s has no whitespace
        - ValWhite s  : s is only whitespace
        - ConstString s : s has not whitespace
        - WhiteString s : s is only whitespace
     
     This means we can simplify the string parser, because we don't have to
     scan the actual strings for whitespace.