Fix heterogeneous vector typechecking.