New issue from Daniel to improve sfinae wording for type traits