Vector views for vector destructuring

[andrew4328]

match x {
   [x1... x2... xs] => ...;
}

Currently it would be naive to just "slice" this vector with head/tail. However, if we used a view it could be performant and the final result could be collapsed back into a normal vector only when needed.