WYCS: working on a problem with missing files.
WYBS: bug fix for DirectoryRoot.find().
WYCS: ok the modified type system rules now, finally, compile again.
WYCS: minor tweaks to tests which were incorrectly specified.
WYCS: a few little tweaks to the solver to support the new set types.