Vector ftypes

Implements C FFI for SIMD vectors and adds primitives for bitcasting between them.

Also fixes a latent bug in zero-extending Int values.