Add a mapping from ids to paths. Sort of redundant with mangling.
Print types nicely in type error messages.