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>
test(lua/threads): re-activate Lua thread examples

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(build): add Lua thread tests to test suite

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/kernel_bindings): bug in mk_app, add expr_lt tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): remove diff_cnstrs module

We don't need them anymore. We will drop universe cumulativity from the kernel.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): remove level constraints from definitions

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/kernel_bindings): remove level pair and list of level pairs from Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/kernel_bindings): remove level_cnstrs

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): remove convertability constraints

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel/type_checker): remove method is_conv

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