It looks like if literal character sets were changed from (<string>) to
something like (literal-charset <string>), then sequences would not need
to start with : or seq. The grammar for sequences could change from (:
<sre> ...) to (<sre> ...). I think that it would look cleaner, but then
I am something of a heretic.

Michael.