Fix heterogeneous vector typechecking.

I need to fix the tests before this can be committed. But currently the unit test framework doesn't allow for supplying the expected type.

Should this be another keyword to tc-e or should I make a separate macro that does that?