Create Solver.oz

The textbook code for Solve from CTM.
This is currently a dummy file, just to illustrate what doesn't work on Mozart 2