Sorted lists ops, map_reduce.
Numeric constraint convergence as milestone.
Linear arithmetic equations and inequalities solving (with implicit equality detection), initial commit.