Fully implement arbitrary delimiters on DATA LIST, extending the half

implementation that was already there.

Update our string ADTs, struct string and struct len_string.  Get rid
of pool support, which was largely unused.  Rename lots of functions
to have more obvious or consistent names.

Fix a few miscellaneous bugs.