allow lazy loading of parts of types #1
Description
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)