[project @ 1999-09-17 09:16:57 by simonpj]

[project @ 1999-09-17 09:16:57 by simonpj]
[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.