Added ability to map color names to User[1,9].

The API only cares whether the value [1,9] is valid. Multiple 'names' can be
mapped to the same color value.