Explore "loop fusion" optimization on the `low_level` code

[lukstafi]

Although MetaOCaml theory does not allow code inspection, it does expose the AST, and we can reimplement Runnative and/or rely on offshoring.