More type system fixery regarding vectors