Type error messages lose tag names

[msullivan]

Typechecker error messages don't contain the name of tags but instead things like "tag:0:2r45334232". This is a relative of #828 but should be able to be fixed without it. It's really annoying.

[msullivan]

Fixed by f8ac788