Checked simd typedefs