Oh, I see now what I missed - I was under the impression [this implementation](https://github.com/scala-ide/scala-ide/pull/562/files#diff-8ad78c86d46b641aaf4ac8b69b495cbeR61) of ``askLoadedType`` existed already.

However, I still wonder why the compilation unit has to remain loaded in the presentation compiler. This could make ``PresentationCompiler.compilationUnits`` to grow quite considerably, unless there is some clean-up action performed somewhere else.