Always flatten parents in RefinedTypes.

All pass at 39b0652fcf .
Annotating types.