feat(lua): add semantic attachments for builtin arithmetical values to Lua API, improve mk_constant

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(lua): use simplified Const creation

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(lua): rename lua_ref to lref, lua_ref is a macro in LuaJIT

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
test(frontends/lean): add missing expected output

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