Treat explicitly configured types as instantiable

[errt]

We configured them for a reason, they are needed to ensure progress of some analyses (in particular, the reflection analyses needs these types so it is actually invoked)