Always flatten parents in RefinedTypes.

And annotated a bunch of return types to suppress pointless
adventures in Typer.