discontinued unused / untested distinction of separate PIDE modules;
more operations;
added Untyped.method convenience (for *this* class only);
tuned signature -- more explicit types;
access class hierarchy; smash access to null;
untyped, unscoped, unchecked access to JVM objects;