Went through the examples, made some fixes so that they all run,
except for solver diagnostics, which I didn't have time to look at