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
