[m-rev.] for review: use checked type, inst and mode definitions in parse_tree_int[123]

[Zoltan Somogyi]

For review by anyone, but I am specifically looking for
feedback from Peter on the diff to prog_data.m.

I plan these next steps after this:

Define a representation for subtypes that is separate from
non-subtype du types. We already handle them separately
in many cases, and such handling would be simpler if the code
doing it could use purpose-specific types whose structures 
enforced the right invariants.

Look into the provision of statuses that accurately reflect
the type_ctor_checked_defns we now generate for .int[12] files.

Start using checked type/inst/mode definitions in parse_tree_int0s.

Start using checked type/inst/mode definitions in parse_tree_module_srcs.

Add checked type, inst and mode definitions to the HLDS in one step,
instead of item by item.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.check
Type: application/octet-stream
Size: 3806 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210930/db3c262a/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.check
Type: application/octet-stream
Size: 282092 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210930/db3c262a/attachment-0003.obj>