improved spec coverage; all types can be used as map keys
improved spec coverage; all types can be used as map keys