fix(lua/numerics): bug in bindings, add more tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua/justification): add more tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua/type_inferer): add missing tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua/name): add missing tests

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua/expr): add missing tests

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