Update add_constraints, add + for constraints. fix bugs in minimize and maximize