WyRL: added some addition saftey checking code to catch an invalid term being constructed for #380
WyRL: improved the documentation in wyrl.util.Runtime as part of fixing #380
WyCS: debugging #380.  Discovered the problem is because quantifier instantiation is not instantiating all variables.
WyRL: working on the quantifiers example and improving quantifier instantiation.  Basically, it seems to be working, but is having some odd effects when instantiating bindings (e.g. generating lots of bindings unexpectedtly).  However, whilst debugging this, I seem to have stumbled across a separate bug related to WyRL and type testing somehow.
WyRL: still trying to understand the updated quantifier instantiation procedure.  It's basically going into an infinite loop as far as I can tell on a simple example.
WyRL: added some additional checks for WyRL spec files to ensure that missing names are identified.
WyCS: brough the solver instantiation mechanism inline with the prototype mechanism in the WyRL quantifiers example.  Currently, I believe that works but I'm hunting what appears to be an infinite loop bug of some sort.
WyC: managed to uncomment some while verification tests which are now passing.  However, some appear to be exhiting the infinite loop problem.
WyRL: chasing a bug which I've encountered in the quantifiers example.  It seems to be suggesting a fundamental flaw in the way that rewriting occurs, which is both disturbing and difficult to fix easily.
WyRL: chasing down a rather awkward bug.  #382