[m-rev.] diff: encode some structural invariants about type defns in types

[Zoltan Somogyi]

This will help to take advantage of checked defns in computing
type representations.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.gen
Type: application/x-genesis-rom
Size: 658 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20190930/6e1c8877/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.gen
Type: application/x-genesis-rom
Size: 39628 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20190930/6e1c8877/attachment-0003.bin>