Add SIMD syntax, ast and translation support
Improve SIMD typechecking, do translation for arithmetic operators
Implement a somewhat naive equality for SIMD vectors
Feature gate SIMD types