Size (but no initial val) constructor for Vector. This is long overdue.