More work on symbolic sets.

I think this as far as I go, until we know how they should be used.