lua backend: simple tests now pass, new lua_builtins.py