Make for: not allow multiple annotations.
Make breaks actually break out of running all the TR tests.
Make tc-literal deal with complicated expected types better.

Also fixes bug in literal heterogeneous vector typing.

Closes PR 13842.