Solver list.
Re-enable support for string values in domains.
Tidy up many of the examples and add some descriptions to them.