type_traits: new
wiki: stringify works