Types Used in the main/ext API

Hi folks, I have filed https://github.com/theia-ide/theia/issues/4355 and since it’s an architectural issue, I’d like to hear feedback on it.

Note that I’ll be on vacation next week, not ignoring you :slight_smile:

[original thread by Thomas Mäder]