[vector] Strengthen ETYPE and VLENGTH specification

[Paul Sandoz]

Hi,

Please review the following change to strengthen the ETYPE and VLENGTH specification:

  http://cr.openjdk.java.net/~psandoz/panama/vector-etype-vlength-spec/webrev/ <http://cr.openjdk.java.net/~psandoz/panama/vector-etype-vlength-spec/webrev/>

This change is in response to reviews in preparation for integration into jdk/jdk.

Paul.