moved lemmas to OrderedGroup.thy

continued localization

localized mono predicate

removed obsolete unlocalize_mfix;

removed obsolete unlocalize_mixfix;

locale pred: authentic syntax, tuned aprop_tr' accordingly;

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);