test(tests/lean/run): add test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(util): add sequence object with O(1) concatenation operation

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(*): create alias for std::pair

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel/type_checker): remove "global" constraint buffer from type_checker, and use constraint_seq instead

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(library/unifier): missing set_conflict

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(library/standard): remove workarounds

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/unifier): allow computation when solving flex-rigid constraints

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/unifier): allow computation when solving flex-rigid constraints