cpp/experimental/simd/deduce

The type is present if and only if:
 * is a vectorizable type,
 * is supported, and
 * every type in is an ABI tag

Let denote  when it presents, then
 * is default constructible, i.e. it is supported
 * is if, otherwise it is implementation-defined
 * is if, otherwise it is implementation-defined