кстати, а кто напомнит, Interface Types - почему это биг дил?
В смысле? Это стандартизированноеи универсальное описание интеропа как между wasm и хостом, так и между wasm модулями скомпилированными из разных языков. Собственно это универсальный язык общение между модулями без необходимости писать клеевой код