Alexander Bich

It's not great to just replace `length2(x)` with `dot(x, x)`, as it would repeat the expression for `x` twice. Ideally it requires full-blown support for rewrite passes, in order to...

Probably it's even worthy to remove this type in favor of specific ones.

Right now Lua code compiles into very monadic code, every stack variable is an `IORef`. It's probably worth it to replace `IORef`s with pure `let`-bindings at least for cases when...