Как сделать обязательным один ключ из двух?

А, и interface вроде бы не может расширять type (но это уже сами проверьте)

либо

interface A{...}; interface B extends interface A{...};

либо

type A{...}; interface I{}; type B = A & I & {...};

Как называется плагин, выводящий подсказки, как на скрине?

StepanMogilyov, поискал получше, нашел то что надо