WYRL: ok, more tweaks ... sets now compile.
WYRL: ok solver now supports typed subset operations.