Began work on the encoding part of the algorithm describing how to map abstract strings to byte sequences.
Added another proposition to the invariants of Compressor and Decompressor.