Started formalize Huffman coding