Thanks everyone for the feedback. I'll work on incorporating that.
I'm also looking into 0002 and 0003 from Matheus. From a quick scan,
it looks like those issues have existed since earlier, even in the
cases involving domains over composite types. So perhaps it's better
to have them as separate patches. But I'll look in more detail to see
if 0001 and 0002 should be squashed together.
Regards,
Nitin Motiani
Google