Main/Ext Interface Types

I’ve been working on https://github.com/theia-ide/theia/issues/4355#issuecomment-470891168 a bit this week and would welcome a bit of discussion, in particular from @florentbenoit and @yevhen

[original thread by Thomas Mäder]