Typecheck SIMD casts

There is some minor typechecking of SIMD casts now, but it isn't robust,
and the error checking is under all acceptable standards.