test(lua): add more universe level expression tests

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add tests for improving kernel_bindings coverage

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add test to demonstrate the different between list(A) where A is a parameter, and where A is an index

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): add test to demonstrate the different between list(A) where A is a parameter, and where A is an index