Deprecate Smten.Symbolic.SMT in favor of new Smten.Searches.
Smten.Search now exports Free(..) and friends.
Export solvers at Smten.Search.Solver.*.

And deprecate use of Smten.Symbolic*