feat(kernel): add flag for disabling impredicativity of Prop/Bool in the kernel

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util/lua): add functions for simulating python-like named arguments using Lua tables

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/kernel_bindings): use new functions for simulating python-like named arguments

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

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