Improved comment on 'toDecoded'. Improved implementation of 'encodeBinList', using the Backwards functor transformer.