[This is the commit message that should have gone with the
 typechecker commit a few minutes ago, whose message said
	~/tmp/msg1
]

Improve location and context information on Insts (notably Dicts),
and thereby improve error messages that relate to dictionaries.

This arose from Marc van Doguen's suggestion.