Pointer encoding [and memory]

The pointer encoding compression method discussed on page571 implements a very simple form of memory based on literal repetitions, and already leads to fairly good compression of many kinds of data.