refactor(util): move Lua named parameter support to a different file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/lua_named_param): add new functions for handling named parameters in Lua

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(util): file name convention

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): add remaining type_checker constructors in the Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/name_set): improve name_set Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): add add_decl and type_check functions to Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): add add_decl and type_check functions to Lua API