fix(library/expr_lt): make sure the builtin order is AC-compatible

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/expr_lt): make sure the builtin order is AC-compatible