Hide redundant type error "from here" messages

If there is a type error involving an annotated vector,
sometimes the error reported would include information about
the vector's element type.  This information is redundant if
the type of the element is declared.  (See the test cases
for some instances where the the redundant error is now
hidden.)