[m-rev.] for review: encode invariants in types when creating constant structures

[Zoltan Somogyi]

On Thu, 29 Mar 2018 13:52:10 +1100, Peter Wang <novalazy at gmail.com> wrote:
> Be sure to update the log message. Otherwise, it looks fine.

Done. Thanks for the review.

Zoltan.