[m-dev.] for review: last call modulo constructors [3/3]

[Andrew Bromage]

G'day all.

David Matthew Overton wrote:

[Part 3]

This looks fine.  Once you've fixed those problems, just commit onto
the alias branch.  Thanks.  We'll deal with the inst_match problems
once it's committed.

Cheers,
Andrew Bromage