One point on this that I wasn't sure how to fit into the RFC itself is that simd types could be special-cased in the parser, so they aren't *actually* macros there. That's what I've done in my current branch.