AdaptiveIdentifierCompression [a simple compression for identifiers e.g. in a structure text, dev.]