Phobos's goal is to be an optimizing bytecode compiler for Lua with some language extensions and a type system.
For more info see the readme (on the homepage or in the mod files), especially 'Factorio Support -> Factorio Mod'. (In short: This mod is 99% a library.)