Codegen Guidance and vectorization annotation vocabulary for JavAI Extensions (@Vectorize, @Summary, @Requires/@Ensures, and friends).