WyRL: updated quantified instantiation example fairly significantly; it now almost compiles and should, in principle, work (upto some limitations related to the number of bindings which are produced).