https://github.com/WebAssembly/design/blob/master/AstSemantics.md пишет: Multiple return value calls will be possible

— это приниципиальный момент в возможности поддержки Форта в этой новой виртуальной машине.

Expression trees offer significant size reduction by avoiding the need for set_local / get_local pairs in the common case of an expression with only one, immediate use.

— ну а это уже неприкрытый Форт Инфиксные выражения исходного языка, которые парсятся в expression trees, рекурсивно разворачиваются при компиляции, и полученный код работает со стеком последовательно без трактовки их в качестве именованных локальных переменных. Так же как locals в Форте не выполняют load/store, в/из стека куда-то ещё, а могут использоваться напрямую и "анонимно" в последовательном вычислении.

Ср. http://www.forth.org.ru/~ac/rationale/FORTH.TXT