Manifold is very interesting. There is also a tail call recursion optimizer at the bytecode level https://github.com/Sipkab/jvm-tail-recursion

It would be nice to have a list of such extensions of the language/bytecode