type_traits: add a simple true type-trait in the detail namespace, for use with decltype() SFINAE.