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>