store external accesses within name space (as produced by naming policy);
improved sticky_prefix: suppress redundant accesses to achieve shorter output;
removed unused interfaces;
replaced accesses' by external_names (depening on naming);
use "../settings.ML";
use_thy "ABexpr";
use_thy "unfoldnested";
use_thy "Nested";
use_thy "Fundata";