fix(util/lua_named_param): compilation warning

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/kernel_bindings): bug in mk_definition Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/type_checker): add missing test: number of universe level parameters

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(util/lua_list): improve error message in table_to_list aux function

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/type_checker): check for undefined global/local levels

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/level): add missing LEAN_THREAD_LOCAL directive

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel/formatter): adjust simple formatter to the new convention for displaying universe levels

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/error_msgs): application type mismatch error message

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add basic universe level tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add replace method test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(util/thread): add atomic_uint type

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

Frontends can used tags to associate expressions with line number information.
The update_* procedures automatically propagate tags.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel/type_checker): remove trace capability, we get it for free with tags

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

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