Fix detection of <experimental/type_traits>

We can't use a define from a header (__cpp_lib_experimental_detect in this case) to detect whether we should include the header. Without C++17 __has_include, CMake will have to do the work after all.