fix(kernel/expr): old comment

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(util/rb_tree): missing const

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel): add global levels to environment

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): add new global level methods to environment Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/level): predicate is_param_core

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): global level constructor/accessor/recognizer

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): add optional arguments to empty_environment Lua API

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

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

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
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>
fix(kernel/environment): is_descendant optimization

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/lua_list): allow Lua list objects to be moved between states

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add example for testing is_descendant

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

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