Move LinearTerm and LinearExpr from solver.h to expr.h and test.