now that I think about it, we could probably use commas as a separator, but it would mean that we need to use comma-less versions of the names.  Since keys don't have commas, that should be fine...

to clarify, this syntax is needed for default types on pointers to work using their current mechanism, but it would allow narrowing of default types in any inclusion situation.

  --Ethan McCutchen.....Mon May 10 12:30:49 -0700 2010

merged back into handle multiple types in plus-star-options

  --John Abbe.....Mon May 10 15:25:25 -0700 2010