[m-rev.] for review: record typechecking results in var_tables

[Zoltan Somogyi]

For review by anyone.

This should finish the conversion to using var_tables
of all the modules that *should* be using var_tables,
with the exception of a few modules (e.g. mode_constraints.m)
that are not currently used.

The scaffolding that was needed only during the transition
will be removed by a future diff.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.vt26
Type: application/octet-stream
Size: 5580 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220528/24a7080c/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.vt26
Type: application/octet-stream
Size: 280167 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20220528/24a7080c/attachment-0003.obj>