Reorganization of C++14 compatibility headers, with the addition of the complete list of convenience alias templates for type_traits