feat(util/name): additional methods to name Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): expose is_explicit function in the Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/kernel_bindings): add new predicates for kernel objects in the Lua API

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

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