equal_type_structures should just be ==

[pcwalton]

But last time I tried that, it exposed a bug in translation of cmp glue. So we should fix that.

[msullivan]

Looks like the new shapes compare glue fixes this.