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;