[m-rev.] for review: simplify subtype checking code

[Zoltan Somogyi]

For review by Peter. The ATn files are intermediate versions,
and may, or may not, be useful in the review.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.check
Type: application/octet-stream
Size: 847 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210709/137af9f6/attachment-0006.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.check
Type: application/octet-stream
Size: 20394 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210709/137af9f6/attachment-0007.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AT1
Type: application/octet-stream
Size: 92327 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210709/137af9f6/attachment-0008.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AT2
Type: application/octet-stream
Size: 90864 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210709/137af9f6/attachment-0009.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AT3
Type: application/octet-stream
Size: 90363 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210709/137af9f6/attachment-0010.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: AT4
Type: application/octet-stream
Size: 90304 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20210709/137af9f6/attachment-0011.obj>