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.