Consider adding UCollections to SymbolicConverter.

[bryanedds]

This might be extra important because, for example, calling scstring on USet can lead to a StackOverflowException, the overflowest of all exceptions.