This milestone collects issues necessary for reasonable efficiency in the generated WASM code.

It does not include any high-level optimisations on the core (inlining, specialisation, deforestation, CSE, code motion).