Minor revisions to the SIMD section

Just a few minor clarifications.  The most important change it the uint32x4 -> int32x4.  We've decided to not include the uint32x4 type.