[m-rev.] for possible post-commit review: encode invariants in data structures

[Zoltan Somogyi]

This diff reduces the number of places where updates will need to be made
to reflect changes in data representations.

I don't think this needs review, but if anyone wants to do one,
I will address any comments post commit.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.unify
Type: application/octet-stream
Size: 1838 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20180222/d3e93c2e/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.unify
Type: application/octet-stream
Size: 32921 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20180222/d3e93c2e/attachment-0003.obj>