Move UserString to collections.

Removed decode() method.  Added isidentifier() and format() methods.
Drop MutableUserString class.