WYRL: bug fix which allows the solver to compile again.
WYCS: so, the solver is now compiling again ... but it doesn't work.  Neither does the arithmetic example in some cases as well.