[m-rev.] for review: record source items in type_ctor_checked_defns

[Zoltan Somogyi]

On Tue, 07 Sep 2021 09:59:45 +1000 (AEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> I want to add code to what is now check_parse_tree_type_defns.m
> to also check inst and mode definitions for consistency, but this would
> seem to require a change in the file name. Would anyone object to
> check_type_inst_mode_defns.m?

Since noone has objected, I have done this rename. You will
need to delete *check_parse_tree_type_defns.*, and rename
dependencies.

Zoltan.