WyCS: diagnosed a likely design flaw in WyCS.
The essential problem boils down to the sequence of applications of
inference rules, where two or more rules can cause infinite
reapplications.  It's not clear what the solution is at this stage,
since it puts into jeopardy the way that I imagined inferences being
handled.  #382