Fix internal error for vector type-checking

If multiple values were expected and not provided
when type-checking a vector expression, TR would throw
an internal error.

Thanks to Pierpaolo for the report!