Major cleanup:
got rid of types bclass, xclass, xsort, xtyp, xterm;
reorganized code to separate stamps/data/sign;
clarified name space inter/extern operations;
sane read/certify operations -- more picky about stale signatures;
sane implementation of signature extensions;