fix(lua): safe_function_wrapper

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(lua/name): improve name bindings for Lua

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(lua/options): improve options bindings for Lua

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(lua/name): improve name bindings for Lua

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>