More robust support for parametric type analysis