В чём разница между type и interface?

interface описывает форму объекта и поддерживает declaration merging (автоматическое слияние одноимённых деклараций). type (type alias) -- более универсальный инструмент: может описывать объединения, пересечения, примитивы, кортежи и вообще любой тип. Interface можно расширять через extends, type -- через & (intersection).