allow lazy loading of parts of types

[adriaanm]

similar to using TypeCompleters to defer loading the info of a Symbol,
it would be useful to be able to defer loading a PolyType's result type,
so that we can accurately find out its type parameters without forcing the result type (which may cause cycles / be too costly)