fix(kernel/level): bug in optional<level>() constructor

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): remove obsolete test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel/formatter): add environment as an extra argument to the formatter

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/lua): add macro pushnil

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util): add macro for exposing the type list<T> in Lua

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util): expose list<name> in Lua

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/kernel_bindings): part of expr Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): separate type_checker and converter

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(util/rb_tree): reduce test time for rb_tree

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel): add binder annotations (implicit, cast)

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): use structural hashing in type_checker and converter

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

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/script_state): use recursive_mutex instead of mutex

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/metavar): wierd memory leak that only happens when compiling with clang++

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(tests/kernel/metavar): typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/level): warning messages when compiling in release mode

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

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

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